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

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