𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Advances in Cryptology – CRYPTO 2013 Volume 8043 || SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

✍ Scribed by Canetti, Ran; Garay, Juan A.

Book ID
121464790
Publisher
Springer Berlin Heidelberg
Year
2013
Tongue
English
Weight
349 KB
Edition
2
Category
Article
ISBN
3642400841

No coin nor oath required. For personal study only.

✦ Synopsis

The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013. The 61 revised full papers presented in LNCS 8042 and LNCS 8043 were carefully reviewed and selected from numerous submissions. Two abstracts of the invited talks are also included in the proceedings. The papers are organized in topical sections on lattices and FHE; foundations of hardness; cryptanalysis; MPC - new directions; leakage resilience; symmetric encryption and PRFs; key exchange; multi linear maps; ideal ciphers; implementation-oriented protocols; number-theoretic hardness; MPC - foundations; codes and secret sharing; signatures and authentication; quantum security; new primitives; and functional encryption.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology – CRYPTO 2011 Volume 6841 || Leakage-Resilient Zero Knowledge
✍ Rogaway, Phillip 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 292 KB

This book constitutes the refereed proceedings of the 31st Annual International Cryptology Conference, CRYPTO 2011, held in Santa Barbara, CA, USA in August 2011. The 42 revised full papers presented were carefully reviewed and selected from 230 submissions. The volume also contains the abstract of

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology – CRYPTO 2013 Volume 8043 || How to Run Turing Machines on Encrypted Data
✍ Canetti, Ran; Garay, Juan A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 307 KB

The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013. The 61 revised full papers presented in LNCS 8042 and LNCS 8043 were carefully reviewed and selected