


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














