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

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 Key-Alternating Ciphers and Key-Length Extension: Exact Bounds and Multi-user Security....Pages 3-32 Counter-in-Tweak: Authenticated Encryption Modes for Tweakable Block Ciphers....Pages 33-63 XPX: Generalized Tweakable Even-Mansour with Improved Security Guarantees....Pages 64-94 Indifferentiability of 8-Round Feistel Networks....Pages 95-120 EWCDM: An Efficient, Beyond-Birthday Secure, Nonce-Misuse Resistant MAC....Pages 121-149 Front Matter....Pages 151-151 A Subfield Lattice Attack on Overstretched NTRU Assumptions....Pages 153-178 A Practical Cryptanalysis of the Algebraic Eraser....Pages 179-189 Lattice-Based Fully Dynamic Multi-key FHE with Short Ciphertexts....Pages 190-213 Cryptography with Auxiliary Input and Trapdoor from Constant-Noise LPN....Pages 214-243 Front Matter....Pages 245-245 The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3....Pages 247-276 A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case....Pages 277-307 Encryption Switching Protocols....Pages 308-338 Front Matter....Pages 339-339 Message Transmission with Reverse Firewalls—Secure Communication on Corrupted Machines....Pages 341-372 Big-Key Symmetric Encryption: Resisting Key Exfiltration....Pages 373-402 Backdoors in Pseudorandom Number Generators: Possibility and Impossibility Results....Pages 403-432 Front Matter....Pages 433-433 Cryptanalysis of the FLIP Family of Stream Ciphers....Pages 435-456 Front Matter....Pages 457-475 The Magic of ELFs....Pages 477-477 Breaking the Circuit Size Barrier for Secure Computation Under DDH....Pages 479-508 Front Matter....Pages 509-539 Extended Tower Number Field Sieve: A New Complexity for the Medium Prime Case....Pages 541-541 Front Matter....Pages 543-571 Efficient Algorithms for Supersingular Isogeny Diffie-Hellman....Pages 541-541 Front Matter....Pages 572-601 New Insights on AES-Like SPN Ciphers....Pages 603-603 Another View of the Division Property....Pages 605-624 Back Matter....Pages 625-653 ....Pages 654-682