CRYPTO (2)

Keyphrases

Publications

2024

Giuseppe Persiano, Duong Hieu Phan, Moti Yung
Public-Key Anamorphism in (CCA-Secure) Public-Key Encryption and Beyond. CRYPTO (2) (2024)
Manuel Barbosa, Kai Gellert, Julia Hesse, Stanislaw Jarecki
Bare PAKE: Universally Composable Key Exchange from Just Passwords. CRYPTO (2) (2024)
Yuyu Wang, Chuanjie Su, Jiaxin Pan
Fine-Grained Non-interactive Key-Exchange Without Idealized Assumptions. CRYPTO (2) (2024)
Giuseppe Ateniese, Foteini Baldimtsi, Matteo Campanelli, Danilo Francati, Ioanna Karantaidou
Advancing Scalability in Decentralized Storage: A Novel Approach to Proof-of-Replication via Polynomial Evaluation. CRYPTO (2) (2024)
Michele Ciampi, Aggelos Kiayias, Yu Shen
Universal Composable Transaction Serialization with Order Fairness. CRYPTO (2) (2024)
Shweta Agrawal, Sagnik Saha, Nikolaj I. Schwartzbach, Akhil Vanukuri, Prashant Nalini Vasudevan
k-SUM in the Sparse Regime: Complexity and Applications. CRYPTO (2) (2024)
Balthazar Bauer, Geoffroy Couteau, Elahe Sadeghi
Fine-Grained Non-interactive Key Exchange, Revisited. CRYPTO (2) (2024)
Christian Majenz, Fabrizio Sisinni
Provable Security Against Decryption Failure Attacks from LWE. CRYPTO (2) (2024)
Dario Catalano, Emanuele Giunta, Francesco Migliaro
Limits of Black-Box Anamorphic Encryption. CRYPTO (2) (2024)
Yevgeniy Dodis, Daniel Jost, Antonio Marcedone
Compact Key Storage - A Modern Approach to Key Backup and Delegation. CRYPTO (2) (2024)
José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) (2024)
Marshall Ball, Juan A. Garay, Peter Hall, Aggelos Kiayias, Giorgos Panagiotakos
Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity. CRYPTO (2) (2024)
Jonathan Katz, Michael Rosenberg
LATKE: A Framework for Constructing Identity-Binding PAKEs. CRYPTO (2) (2024)
Matilda Backendal, Hannah Davis, Felix Günther, Miro Haller, Kenneth G. Paterson
A Formal Treatment of End-to-End Encrypted Cloud Storage. CRYPTO (2) (2024)

volume 14921, 2024

Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II CRYPTO (2) 14921 (2024)

2023

volume 14082, 2023

Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II CRYPTO (2) 14082 (2023)

2022

volume 13508, 2022

Advances in Cryptology - CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part II CRYPTO (2) 13508 (2022)