Theory of Cryptography

The two-volume set LNCS 9985 and LNCS 9986 constitutes the refereed proceedings of the 14th International Conference on Theory of Cryptography, TCC 2016-B, held in Beijing, China, in November 2016.

The total of 45 revised full papers presented in the proceedings were carefully reviewed and selected from 113 submissions. The papers were organized in topical sections named: TCC test-of-time award; foundations; unconditional security; foundations of multi-party protocols; round complexity and efficiency of multi-party computation; differential privacy; delegation and IP; public-key encryption; obfuscation and multilinear maps; attribute-based encryption; functional encryption; secret sharing; new models.

Includes supplementary material: sn.pub/extras

Inhalt

Delegation and IP.- Delegating RAM Computations with Adaptive Soundness and Privacy.- Interactive Oracle Proofs.- Adaptive Succinct Garbled RAM, or How To Delegate Your Database.-Delegating RAM Computations.- Public-Key Encryption.- Standard Security Does Not Imply Indistinguishability Under Selective Opening.- Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts.- Towards Non-Black-Box Separations of Public Key Encryption and One Way Function.- Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms.- Multi-Key FHE from LWE, Revisited.- Obfuscation and Multilinear Maps.- Secure Obfuscation in a Weak Multilinear Map Model.- Virtual Grey-Boxes Beyond Obfuscation: A Statistical Security Notion for Cryptographic Agents.- Attribute-Based Encryption.- Deniable Attribute Based Encryption for Branching Programs from LWE.- Targeted Homomorphic Attribute-Based Encryption.- Semi-Adaptive Security and Bundling Functionalities Made Generic andEasy.- Functional Encryption.- From Cryptomania to Obfustopia through Secret-Key Functional Encryption.- Single-Key to Multi-Key Functional Encryption with Polynomial Loss.- Compactness vs Collusion Resistance in Functional Encryption.- Secret Sharing.- Threshold Secret Sharing Requires a Linear Size Alphabet.- How to Share a Secret, Infinitely.- New Models.- Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond.- Access Control Encryption: Enforcing Information Flow with Cryptography.