Provable Security: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Front Matter ....Pages I-XI
Front Matter ....Pages 1-1
 On the Leakage of Corrupted Garbled Circuits  (Aurélien Dupin, David Pointcheval, Christophe Bidan)....Pages 3-21
 Location-Proof System Based on Secure Multi-party Computations  (Aurélien Dupin, Jean-Marc Robert, Christophe Bidan)....Pages 22-39
 Verifiable Homomorphic Secret Sharing  (Georgia Tsaloli, Bei Liang, Aikaterini Mitrokotsa)....Pages 40-55
 Single Private-Key Generator Security Implies Multiple Private-Key Generators Security  (Atsushi Fujioka, Kazuki Yoneyama)....Pages 56-74
 Secure Outsourcing of Cryptographic Circuits Manufacturing  (Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi)....Pages 75-93
 On the Hardness of Learning Parity with Noise over Rings  (Shuoyao Zhao, Yu Yu, Jiang Zhang)....Pages 94-108
Front Matter ....Pages 109-109
 A CCA-Secure Collusion-Resistant Identity-Based Proxy Re-Encryption Scheme  (Arinjita Paul, Varshika Srinivasavaradhan, S. Sharmila Deva Selvi, C. Pandu Rangan)....Pages 111-128
 Multivariate Encryption Schemes Based on the Constrained MQ Problem  (Takanori Yasuda)....Pages 129-146
 Token-Based Multi-input Functional Encryption  (Nuttapong Attrapadung, Goichiro Hanaoka, Takato Hirano, Yutaka Kawai, Yoshihiro Koseki, Jacob C. N. Schuldt)....Pages 147-164
 On the CCA2 Security of McEliece in the Standard Model  (Edoardo Persichetti)....Pages 165-181
 Efficient Attribute-Based Encryption with Blackbox Traceability  (Shengmin Xu, Guomin Yang, Yi Mu, Ximeng Liu)....Pages 182-200
Front Matter ....Pages 201-201
 A Code-Based Linkable Ring Signature Scheme  (Pedro Branco, Paulo Mateus)....Pages 203-219
 Towards Static Assumption Based Cryptosystem in Pairing Setting: Further Applications of DéjàQ and Dual-Form Signature (Extended Abstract)  (Sanjit Chatterjee, R. Kabaleeshwaran)....Pages 220-238
 Digital Signatures from the Middle-Product LWE  (Ryo Hiromasa)....Pages 239-257
 Generic Double-Authentication Preventing Signatures and a Post-quantum Instantiation  (David Derler, Sebastian Ramacher, Daniel Slamanig)....Pages 258-276
 A Simpler Construction of Identity-Based Ring Signatures from Lattices  (Gongming Zhao, Miaomiao Tian)....Pages 277-291
Front Matter ....Pages 293-293
 Generic Construction of Sequential Aggregate MACs from Any MACs  (Shingo Sato, Shoichi Hirose, Junji Shikata)....Pages 295-312
 Length-Preserving Encryption Based on Single-Key Tweakable Block Cipher  (Xiangyang Zhang, Yaobin Shen, Hailun Yan, Ying Zou, Ming Wan, Zheyi Wu et al.)....Pages 313-326
Front Matter ....Pages 327-327
 Modeling Privacy in WiFi Fingerprinting Indoor Localization  (Zheng Yang, Kimmo Järvinen)....Pages 329-346
 Security Notions for Cloud Storage and Deduplication  (Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani)....Pages 347-365
 Forward Secrecy of SPAKE2  (José Becerra, Dimiter Ostrev, Marjan Škrobot)....Pages 366-384
Front Matter ....Pages 385-385
 User-Mediated Authentication Protocols and Unforgeability in Key Collision  (Britta Hale)....Pages 387-396
 BAdASS: Preserving Privacy in Behavioural Advertising with Applied Secret Sharing  (Leon J. Helsloot, Gamze Tillem, Zekeriya Erkin)....Pages 397-405
 Signcryption with Quantum Random Oracles  (Shingo Sato, Junji Shikata)....Pages 406-414
 Formal Treatment of Verifiable Privacy-Preserving Data-Aggregation Protocols  (Satoshi Yasuda, Yoshihiro Koseki, Yusuke Sakai, Fuyuki Kitagawa, Yutaka Kawai, Goichiro Hanaoka)....Pages 415-422
Back Matter ....Pages 423-424