Provable and Practical Security

1. Front Matter

   Pages i-ix

   PDF

2. Encryption

   1. Front Matter

      Pages 1-1

      PDF

   2. A Generic Construction of CCA-Secure Attribute-Based Encryption with Equality Test

      • Kyoichi Asano, Keita Emura, Atsushi Takayasu, Yohei Watanabe

      Pages 3-19

   3. Secure-Channel Free Certificateless Searchable Public Key Authenticated Encryption with Keyword Search

      • Pan Yang, Hongbo Li, Jianye Huang, Hao Zhang, Man Ho Au, Qiong Huang

      Pages 20-35

   4. More Efficient Verifiable Functional Encryption

      • Geng Wang, Ming Wan, Dawu Gu

      Pages 36-51

   5. Subverting Deniability

      • Marcel Armour, Elizabeth A. Quaglia

      Pages 52-59

   6. Epoch Confidentiality in Updatable Encryption

      • Jodie Knapp, Elizabeth A. Quaglia

      Pages 60-67

3. Lattice Based Cryptography

   1. Front Matter

      Pages 69-69

      PDF

   2. Simplified Server-Aided Revocable Identity-Based Encryption from Lattices

      • Yanhua Zhang, Ximeng Liu, Yupu Hu

      Pages 71-87

   3. Lattice-Based Public Key Cryptosystems Invoking Linear Mapping Mask

      • Yuntao Wang, Yasuhiko Ikematsu, Takanori Yasuda

      Pages 88-104

   4. Batched Fully Dynamic Multi-key FHE from FHEW-Like Cryptosystems

      • Yuting Jiang, Jianghong Wei, Jing Pan

      Pages 105-120

   5. Zero-Knowledge Range Arguments for Signed Fractional Numbers from Lattices

      • Priyanka Dutta, Dung Hoang Duong, Willy Susilo, Kazuhide Fukushima, Shinsaku Kiyomoto

      Pages 121-136

4. Information Security

   1. Front Matter

      Pages 137-137

      PDF

   2. Fast Out-of-Band Data Integrity Monitor to Mitigate Memory Corruption Attacks

      • Jian Huang, Shanliang Xue, Caiyi Wang

      Pages 139-155

   3. Construction of a New UAV Management System Based on UMIA Technology

      • Ge Zhang, Yu Geng, Xueman Kong, Yifa Li

      Pages 156-166

   4. FP\(^2\)-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning

      • Zhaobo Lu, Yilei Wang, Qingzhe Lv, Minghao Zhao, Tiancai Liang

      Pages 167-175

   5. Practical Federated Learning for Samples with Different IDs

      • Yu Li, Junzuo Lai, Xiaowei Yuan, Beibei Song

      Pages 176-195

5. Blockchain

   1. Front Matter

      Pages 197-197

      PDF

   2. Reinforcement-Mining: Protecting Reward in Selfish Mining

      • Zhaojie Wang, Willy Susilo, Jianan Guo, Yilei Wang, Minghao Zhao

      Pages 199-209

   3. FolketID: A Decentralized Blockchain-Based NemID Alternative Against DDoS Attacks

      • Wei-Yang Chiu, Weizhi Meng, Wenjuan Li, Liming Fang

      Pages 210-227

This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11–12,2022. 

 The 15 full papers and 4 short papers were presented carefully reviewed and selected from 52 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: Encryption; Lattice Based Cryptography; Information Security; Blockchain; and Foundations.

• access control
• authentication
• ciphertexts
• computer networks
• computer security
• computer systems
• cryptography
• data communication systems
• data privacy
• data security
• electronic document identification systems
• network protocols
• network security
• public key cryptography
• signal processing

• Nanjing University of Aeronautics and Astronautics, Nanjing, China

  Chunpeng Ge

• University of Wollongong, Wollongong, Australia

  Fuchun Guo

Policies and ethics