Advances in Cryptology – ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

Description

The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2017, held in Hong Kong, China, in December 2017.The 65 revised full papers were carefully selected from 243 submissions. They are organized in topical sections on Post-Quantum Cryptography; Symmetric Key Cryptanalysis; Lattices; Homomorphic Encryptions; Access Control; Oblivious Protocols; Side Channel Analysis; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating Modes Security Proofs; Cryptographic Protocols; Foundations; Zero-Knowledge Proofs; and Symmetric Key Designs. Front Matter ....Pages I-XVIII Front Matter ....Pages 1-1 A Subversion-Resistant SNARK (Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michał Zając)....Pages 3-33 Front Matter ....Pages 35-35 Two-Round PAKE from Approximate SPH and Instantiations from Lattices (Jiang Zhang, Yu Yu)....Pages 37-67 Tightly-Secure Signatures from Five-Move Identification Protocols (Eike Kiltz, Julian Loss, Jiaxin Pan)....Pages 68-94 On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications (Shuichi Katsumata)....Pages 95-125 The Minimum Number of Cards in Practical Card-Based Protocols (Julia Kastner, Alexander Koch, Stefan Walzer, Daiki Miyahara, Yu-ichi Hayashi, Takaaki Mizuki et al.)....Pages 126-155 Front Matter ....Pages 157-157 Succinct Spooky Free Compilers Are Not Black Box Sound (Zvika Brakerski, Yael Tauman Kalai, Renen Perlman)....Pages 159-180 Non-Interactive Multiparty Computation Without Correlated Randomness (Shai Halevi, Yuval Ishai, Abhishek Jain, Ilan Komargodski, Amit Sahai, Eylon Yogev)....Pages 181-211 Optimal-Rate Non-Committing Encryption (Ran Canetti, Oxana Poburinnaya, Mariana Raykova)....Pages 212-241 Preventing CLT Attacks on Obfuscation with Linear Overhead (Rex Fernando, Peter M. R. Rasmussen, Amit Sahai)....Pages 242-271 Front Matter ....Pages 273-273 Two-Message Witness Indistinguishability and Secure Computation in the Plain Model from New Assumptions (Saikrishna Badrinarayanan, Sanjam Garg, Yuval Ishai, Amit Sahai, Akshay Wadia)....Pages 275-303 Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash (Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang)....Pages 304-335 Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability (Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen)....Pages 336-365 Front Matter ....Pages 367-367 How to Use Metaheuristics for Design of Symmetric-Key Primitives (Ivica Nikolić)....Pages 369-391 Cycle Slicer: An Algorithm for Building Permutations on Special Domains (Sarah Miracle, Scott Yilek)....Pages 392-416 Symmetrically and Asymmetrically Hard Cryptography (Alex Biryukov, Léo Perrin)....Pages 417-445 Blockcipher-Based MACs: Beyond the Birthday Bound Without Message Length (Yusuke Naito)....Pages 446-470 Back Matter ....Pages 471-473