Provable Security: 11th International Conference, ProvSec 2017, Xi’an, China, October 23-25, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the 11th International Conference on Provable Security, ProvSec 2017, held in Xi'an, China, in October 2017. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 76 submissions. The papers are grouped in topical sections on secure cloud storage and computing; digital signature and authentication; authenticated encryption and key exchange; security models; lattice and post-quantum cryptography; public key encryption and signcryption; proxy re-encryption and functional encryption; protocols. Front Matter ....Pages I-XIII Front Matter ....Pages 1-1 Provably Secure Self-Extractable Encryption (Zhi Liang, Qianhong Wu, Weiran Liu, Jianwei Liu, Fu Xiao)....Pages 3-23 Towards Multi-user Searchable Encryption Supporting Boolean Query and Fast Decryption (Yunling Wang, Jianfeng Wang, Shi-Feng Sun, Joseph K. Liu, Willy Susilo, Xiaofeng Chen)....Pages 24-38 An Efficient Key-Policy Attribute-Based Searchable Encryption in Prime-Order Groups (Ru Meng, Yanwei Zhou, Jianting Ning, Kaitai Liang, Jinguang Han, Willy Susilo)....Pages 39-56 Secure Multi-label Classification over Encrypted Data in Cloud (Yang Liu, Xingxin Li, Youwen Zhu, Jian Wang, Zhe Liu)....Pages 57-73 A Secure Cloud Backup System with Deduplication and Assured Deletion (Junzuo Lai, Jie Xiong, Chuansheng Wang, Guangzheng Wu, Yanling Li)....Pages 74-83 Front Matter ....Pages 85-85 Practical and Robust Secure Logging from Fault-Tolerant Sequential Aggregate Signatures (Gunnar Hartung, Björn Kaidel, Alexander Koch, Jessica Koch, Dominik Hartmann)....Pages 87-106 Verifiably Encrypted Group Signatures (Zhen Wang, Xiling Luo, Qianhong Wu)....Pages 107-126 Deniable Ring Authentication Based on Projective Hash Functions (Shengke Zeng, Yi Mu, Guomin Yang, Mingxing He)....Pages 127-143 Front Matter ....Pages 145-145 INT-RUP Security of Checksum-Based Authenticated Encryption (Ping Zhang, Peng Wang, Honggang Hu, Changsong Cheng, Wenke Kuai)....Pages 147-166 Leakage-Resilient Non-interactive Key Exchange in the Continuous-Memory Leakage Setting (Suvradip Chakraborty, Janaka Alawatugoda, C. Pandu Rangan)....Pages 167-187 New Framework of Password-Based Authenticated Key Exchange from Only-One Lossy Encryption (Haiyang Xue, Bao Li, Jingnan He)....Pages 188-198 Front Matter ....Pages 199-199 Impossibility of the Provable Security of the Schnorr Signature from the One-More DL Assumption in the Non-programmable Random Oracle Model (Masayuki Fukumitsu, Shingo Hasegawa)....Pages 201-218 Bit Security of the Hyperelliptic Curves Diffie-Hellman Problem (Fangguo Zhang)....Pages 219-235 Natural sd-RCCA Secure Public-Key Encryptions (Yuan Chen, Qingkuan Dong, Qiqi Lai)....Pages 236-250 Long-Term Secure Time-Stamping Using Preimage-Aware Hash Functions (Ahto Buldas, Matthias Geihs, Johannes Buchmann)....Pages 251-260 On the Hardness of Sparsely Learning Parity with Noise (Hanlin Liu, Di Yan, Yu Yu, Shuoyao Zhao)....Pages 261-267 Front Matter ....Pages 269-269 Provable Secure Post-Quantum Signature Scheme Based on Isomorphism of Polynomials in Quantum Random Oracle Model (Bagus Santoso, Chunhua Su)....Pages 271-284 Bootstrapping Fully Homomorphic Encryption with Ring Plaintexts Within Polynomial Noise (Long Chen, Zhenfeng Zhang)....Pages 285-304 Revocable Predicate Encryption from Lattices (San Ling, Khoa Nguyen, Huaxiong Wang, Juanyang Zhang)....Pages 305-326 Front Matter ....Pages 327-327 Provable Secure Constructions for Broadcast Encryption with Personalized Messages (Kamalesh Acharya, Ratna Dutta)....Pages 329-348 Provably Secure Homomorphic Signcryption (Fatemeh Rezaeibagha, Yi Mu, Shiwei Zhang, Xiaofen Wang)....Pages 349-360 Public-Key Encryption with Simulation-Based Sender Selective-Opening Security (Dali Zhu, Renjun Zhang, Dingding Jia)....Pages 361-380 Homomorphic Secret Sharing from Paillier Encryption (Nelly Fazio, Rosario Gennaro, Tahereh Jafarikhah, William E. Skeith III)....Pages 381-399 Fuzzy Public-Key Encryption Based on Biometric Data (Hui Cui, Man Ho Au, Baodong Qin, Robert H. Deng, Xun Yi)....Pages 400-409 Front Matter ....Pages 411-411 An Efficient Certificateless Proxy Re-Encryption Scheme Without Pairing (S. Sharmila Deva Selvi, Arinjita Paul, Chandrasekaran Pandu Rangan)....Pages 413-433 Mergeable Functional Encryption (Vincenzo Iovino, Karol Żebrowski)....Pages 434-451 Front Matter ....Pages 453-453 Private Subgraph Matching Protocol (Zifeng Xu, Fucai Zhou, Yuxi Li, Jian Xu, Qiang Wang)....Pages 455-470 A New Blockchain-Based Value-Added Tax System (Dimaz Ankaa Wijaya, Joseph K. Liu, Dony Ariadi Suwarsono, Peng Zhang)....Pages 471-486 Verifiable Private Polynomial Evaluation (Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade)....Pages 487-506 Back Matter ....Pages 507-508