


default search action
30th ASIACRYPT 2024: Kolkata, India - Part V
- Kai-Min Chung
, Yu Sasaki
:
Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part V. Lecture Notes in Computer Science 15488, Springer 2025, ISBN 978-981-96-0934-5
Key Exchange Protocols
- Afonso Arriaga
, Manuel Barbosa
, Stanislaw Jarecki
, Marjan Skrobot
:
C'est Très CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM. 3-33 - You Lyu
, Shengli Liu
, Shuai Han
:
Efficient Asymmetric PAKE Compiler from KEM and AE. 34-65 - Yanqi Gu
, Stanislaw Jarecki
, Pawel Kedzior
, Phillip Nazarian
, Jiayu Xu
:
Threshold PAKE with Security Against Compromise of All Servers. 66-100 - Suvradip Chakraborty, Lorenzo Magliocco, Bernardo Magri
, Daniele Venturi:
Key Exchange in the Post-snowden Era: Universally Composable Subversion-Resilient PAKE. 101-133 - Emanuele Di Giandomenico
, Doreen Riepel
, Sven Schäge
:
Tightly-Secure Group Key Exchange with Perfect Forward Secrecy. 134-167 - Weihao Wang
, Shuai Han
, Shengli Liu
:
Anamorphic Authenticated Key Exchange: Double Key Distribution Under Surveillance. 168-200
Succinct Arguments
- Michael Klooß, Russell W. F. Lai
, Ngoc Khanh Nguyen, Michal Osadnik
:
RoK, Paper, SISsors Toolkit for Lattice-Based Succinct Arguments - (Extended Abstract). 203-235 - Zijing Di, Lucas Xia, Wilson D. Nguyen, Nirvan Tyagi:
MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups. 236-265
Verifiable Computation
- Benedikt Bünz
, Jessica Chen
:
Proofs for Deep Thought: Accumulation for Large Memories and Deterministic Computations. 269-301 - Diego F. Aranha
, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez:
HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. 302-334
Zero-knowledge Protocols
- Fuchun Lin, Chaoping Xing, Yizhou Yao:
Interactive Line-Point Zero-Knowledge with Sublinear Communication and Linear Computation. 337-366 - Carmit Hazay
, David Heath
, Vladimir Kolesnikov
, Muthuramakrishnan Venkitasubramaniam
, Yibin Yang
:
sfLogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK. 367-401 - Albert Garreta, Ignacio Manzur:
FLI: Folding Lookup Instances. 402-435 - Ying Ouyang, Deng Tang
, Yanhong Xu
:
Code-Based Zero-Knowledge from VOLE-in-the-Head and Their Applications: Simpler, Faster, and Smaller. 436-470

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.