Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III (Lecture Notes in Computer Science Book 9816)

The three volume-set, LNCS 9814, LNCS 9815, and LNCS 9816, constitutes the refereed proceedings of the 36th Annual International Cryptology Conference, CRYPTO 2016, held in Santa Barbara, CA, USA, in August 2016. The 70 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers are organized in the following topical sections: provable security for symmetric cryptography; asymmetric cryptography and cryptanalysis; cryptography in theory and practice; compromised systems; symmetric cryptanalysis; algorithmic number theory; symmetric primitives; asymmetric cryptography; symmetric cryptography; cryptanalytic tools; hardware-oriented cryptography; secure computation and protocols; obfuscation; quantum techniques; spooky encryption; IBE, ABE, and functional encryption; automated tools and synthesis; zero knowledge; theory. Front Matter....Pages I-XIII Front Matter....Pages 1-1 Quantum Homomorphic Encryption for Polynomial-Sized Circuits....Pages 3-32 Adaptive Versus Non-Adaptive Strategies in the Quantum Setting with Applications....Pages 33-59 Semantic Security and Indistinguishability in the Quantum World....Pages 60-89 Front Matter....Pages 91-91 Spooky Encryption and Its Applications....Pages 93-122 Spooky Interaction and Its Discontents: Compilers for Succinct Two-Message Argument Systems....Pages 123-145 Front Matter....Pages 147-147 Adaptively Secure Garbled Circuits from One-Way Functions....Pages 149-178 Rate-1, Linear Time and Additively Homomorphic UC Commitments....Pages 179-207 UC Commitments for Modular Protocol Design and Applications to Revocation and Attribute Tokens....Pages 208-239 Probabilistic Termination and Composability of Cryptographic Protocols....Pages 240-269 Concurrent Non-Malleable Commitments (and More) in 3 Rounds....Pages 270-299 Front Matter....Pages 301-301 Programmable Hash Functions from Lattices: Short Signatures and IBEs with Small Key Sizes....Pages 303-332 Fully Secure Functional Encryption for Inner Products, from Standard Assumptions....Pages 333-362 Circuit-ABE from LWE: Unbounded Attributes and Semi-adaptive Security....Pages 363-384 Front Matter....Pages 385-385 Design in Type-I, Run in Type-III: Fast and Scalable Bilinear-Type Conversion Using Integer Programming....Pages 387-415 Linicrypt: A Model for Practical Cryptography....Pages 416-445 Front Matter....Pages 447-447 On the Relationship Between Statistical Zero-Knowledge and Statistical Randomized Encodings....Pages 449-477 How to Prove Knowledge of Small Secrets....Pages 478-498 Efficient Zero-Knowledge Proof of Algebraic and Non-Algebraic Statements with Applications to Privacy Preserving Credentials....Pages 499-530 Front Matter....Pages 531-531 Fine-Grained Cryptography....Pages 533-562 Front Matter....Pages 563-592 Bounded Indistinguishability and the Complexity of Recovering Secrets....Pages 531-531 Two-Message, Oblivious Evaluation of Cryptographic Functionalities....Pages 593-618 Back Matter....Pages 619-648 ....Pages 649-651