Publications Library

Conference

A Gaussian Leftover Hash Lemma for Modules over Number Fields

Date:

October 5, 2026

Publication:

EUROCRYPT 2026

Author(s):

Martin Albrecht, Joël Felderhoff, Russell W. F. Lai, Oleksandra Lapiha, Ivy K. Y. Woo

Topic:

Preprint

Feistel Tools: Reprogramming and Query-Recording for QRPs

Date:

January 30, 2026

Publication:

IACR eprint

Author(s):

Yu-Hsuan Huang, Andreas Hülsing, Silvia Ritsch, Abishanka Saha

Topic:

Preprint

Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security

Date:

January 27, 2026

Publication:

IACR eprint

Author(s):

Manuel Barbosa, François Dupressoir, Andreas Hülsing, Rui Fernandes, Matthias Meijers, Pierre-Yves Strub

Topic:

Conference

How Hard Can It Be to Formalize a Proof? Lessons from formalizing CryptoBox three times in EasyCrypt.

Date:

December 8, 2025

Publication:

ASIACRYT 2025

Author(s):

Francois Dupressoir, Andreas H¨ulsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner

Topic:

Conference

Partial Lattice Trapdoors: How to Split Lattice Trapdoors, Literally

Date:

December 8, 2025

Publication:

ASIACRYPT 2025

Author(s):

Martin Albrecht, Sasha Laphia, Russell Lai, Ivy Woo

Topic:

Conference

Hybrid-Query Bounds with Partial Input Control – Framework and Application to Tight M-eTCR

Date:

December 8, 2025

Publication:

ASIACRYPT 2025

Author(s):

Andreas Huelsing, Mikhail Kudinov, Christian Majenz

Topic:

Conference

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Date:

October 13, 2025

Publication:

CCS 2025

Author(s):

José Bacelar Almeida, Gilles Barthe, Lionel Blatter, Gustavo Delerue, João Diogo Duarte, Benjamin Gregoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Topic:

Conference

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Date:

October 13, 2025

Publication:

ACM Conference on Computer and Communications Security (CCS)

Author(s):

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Delerue, João Diogo Duarte, Benjamin Gregoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Topic:

Journal

Quantum CCA-Secure PKE, Revisited

Date:

September 18, 2025

Publication:

Journal of Cryptology

Author(s):

Navid Alamati and Varun Maram

Topic:

Conference

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code

Date:

September 14, 2025

Publication:

TCHES25

Author(s):

Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe

Topic:

Preprint

Hyperdeterminants are Hard in Four Dimensions

Date:

September 7, 2025

Publication:

ECCC Electronic Colloquim on Computaional Complexity

Author(s):

Anand Kumar Narayanan

Topic:

Conference

Post-Quantum Online/Offline Signatures

Date:

August 28, 2025

Publication:

CT-RSA 2025

Author(s):

Martin R. Albrecht, Nicolas Gama, James Howe, Anand Kumar Narayanan

Topic:

Journal

Breaking Down Per- and Polyfluoroalkyl Substances (PFAS): Tackling Multitudes of Correlated Electrons

Date:

August 21, 2025

Publication:

Chemical Science

Author(s):

Alan E Rask, Lee Huntington, SungYeon Kim, David Walker, Andrew Wildman, Rodrigo Wang, Nicole Hazel, Alan Judi, James T Pegg, Punit K Jha, Zara Mayimfor, Carl Dukatz, Hassan Naseri, Ilan Gleiser, Maxime R Hugues, Paul Zimmerman, Arman Zaribafiyan, Rudi Plesch, Takeshi Yamazaki

Topic:

Conference

Strong Keys for Tensor Isomorphism Cryptography

Date:

August 20, 2025

Publication:

MFCS 2025

Author(s):

Anand Kumar Narayanan

Topic:

Journal

Molecular Insights into Lithium-Ion Coordination and Morphology in Carbonate Polymer Electrolytes

Date:

August 18, 2025

Publication:

Chemical Science

Author(s):

Omar Allam, Seung Soon Jang

Topic:

Preprint

Starfighters — on the General Applicability of X-Wing

Date:

August 1, 2025

Publication:

Cryptology ePrint Archive

Author(s):

Deirdre Connolly, Kathrin Hövelmanns, Andreas Hülsing, Stavros Kousidis, Matthias Meijers

Topic:

Journal

Guided Multi-Objective Generative AI to Enhance Structure-Based Drug Design

Date:

May 29, 2025

Publication:

Chemical Science

Author(s):

Amit Kadan, Kevin Ryczko, Erika Lloyd, Adrian Roitbergb, Takeshi Yamazaki

Topic:

Conference

Proving Faster Implementations Faster: Combining Deductive and Circuit-Based Reasoning in EasyCrypt

Date:

May 12, 2025

Publication:

IEEE SnP 2025

Author(s):

José Carlos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Luís Esquível, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub

Topic:

Conference

Hollow LWE: A New Spin, Unbounded Updatable Encryption from LWE and PCE

Date:

May 4, 2025

Publication:

EUROCRYPT 2025

Author(s):

Martin R. Albrecht, Benjamin Benčina, Russell W. F. Lai,

Topic:

Preprint

Strong Keys for Tensor Isomorphism Cryptography

Date:

April 18, 2025

Publication:

IACR eprint

Author(s):

Anand Kumar Narayanan

Topic:

Preprint

Hybrid-Query Bounds with Partial Input Control – Framework and Application to Tight M-eTCR

Date:

April 11, 2025

Publication:

IACR eprint

Author(s):

Andreas Hülsing, Mikhail Kudinov, Christian Majenz

Topic:

Preprint

Trapdoor One-way Functions From Tensors

Date:

April 7, 2025

Publication:

IACR eprint

Author(s):

Anand Kumar Narayanan

Topic:

Conference

Protecting Cryptographic Code Against Spectre-RSB

Date:

March 30, 2025

Publication:

ASPLOS 2025

Author(s):

Santiago Arranz Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Topic:

Preprint

Orbital Optimization of Large Active Spaces via AI-Accelerators

Date:

March 26, 2025

Publication:

ArXiv

Author(s):

Örs Legeza, Andor Menczer, Ádám Ganyecz, Miklós Antal Werner, Kornél Kapás, Jeff Hammond, Sotiris S. Xantheas, Martin Ganahl, Frank Neese

Topic:

Conference

Post-Quantum Cryptographic Analysis of SSH

Date:

March 26, 2025

Publication:

RWC 2025

Author(s):

Benjamin Benčina, Benjamin Dowling, Varun Maram, Keita Xagawa

Topic:

Conference

Field Experiments on Post-Quantum DNSSEC

Date:

March 25, 2025

Publication:

RWC 2025

Author(s):

Jason Goertzen, Carlos Aguilar Melchor, Shumon Huque ,Peter Thomassen, Nils Wisiol

Topic:

Preprint

CAKE Requires Programming – On the Provable Post-Quantum Security of (O)CAKE

Date:

March 12, 2025

Publication:

IACR eprint

Author(s):

Kathrin Hövelmanns, Andreas Hülsing, Mikhail Kudinov, Silvia Ritsch

Topic:

Conference

(Un)breakable Curses – Re-Encryption in the Fujisaki-Okamoto Transform

Date:

February 21, 2025

Publication:

EUROCRYPT 2025

Author(s):

Kathrin Hövelmanns, Andreas Hülsing, Christian Majenz, Fabrizio Sisinni

Topic:

Preprint

The Magnitude of Categories of Texts Enriched by Language Models

Date:

January 22, 2025

Publication:

ArXiv

Author(s):

Tai-Danae Bradley, Juan Pablo Vigneaux

Topic:

Conference

Leakage-Free Probabilistic Jasmin Programs

Date:

January 20, 2025

Publication:

CPP 2025

Author(s):

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

Topic:

Journal

Accelerating Quantum Imaginary-Time Evolution with Random Measurements

Date:

January 14, 2025

Publication:

Physical Review A

Author(s):

Ioannis Kolotouros, David Joseph, and Anand Kumar Narayanan

Topic:

Journal

Scaling Lattice Sieves across Multiple Machines

Date:

January 13, 2025

Publication:

Communications in Cryptology

Author(s):

Martin R. Albrecht, Joe Rowell

Topic:

Conference

A High Dimensional Cramer's Rule Connecting Homogeneous Multilinear Equations to Hyperdeterminants

Date:

January 7, 2025

Publication:

ITCS - Innovations in Theoretical Computer Science

Author(s):

Antoine Joux, Anand Kumar Narayanan

Topic:

Preprint

Towards Structure-Preserving Quantum Encodings

Date:

December 23, 2024

Publication:

ArXiv

Author(s):

Arthur J. Parzygnat, Tai-Danae Bradley, Andrew Vlasic, Anh Pham

Topic:

Conference

Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic

Date:

December 9, 2024

Publication:

ASIACRYPT 2024

Author(s):

Mariya Georgieva Belorgey, Sergiu Carpov, Nicolas Gama, Sandra Guasch, Dimitar Jetchev

Topic:

Conference

A Tight Security Proof for SPHINCS+, Formally Verified

Date:

December 9, 2024

Publication:

ASIACRYPT 2024

Author(s):

Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, and Pierre-Yves Strub

Topic:

Conference

Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable

Date:

December 9, 2024

Publication:

ASIACRYPT 2024

Author(s):

Martin R. Albrecht, Kamil Doruk Gur

Topic:

Journal

On Finding Dense Sub-Lattices as Low Energy States of a Quantum Hamiltonian

Date:

November 7, 2024

Publication:

Physical Review Research

Author(s):

Júlia Barberà-Rodríguez, Nicolas Gama, Anand Kumar Narayanan, David Joseph

Topic:

Journal

Grover's Oracle for the Shortest Vector Problem and its Application in Hybrid Classical-Quantum Solvers

Date:

November 7, 2024

Publication:

IEEE Transactions on Quantum Engineering

Author(s):

Milos Prokop, Petros Wallden, David Joseph

Topic:

Preprint

Retentive Neural Quantum States: Efficient Ansätze for Ab Initio Quantum Chemistry

Date:

November 6, 2024

Publication:

ArXiv

Author(s):

Oliver Knitter, Dan Zhao, James Stokes, Martin Ganahl, Stefan Leichenauer, Shravan Veerapaneni

Topic:

Journal

Parallel Implementation of the Density Matrix Renormalization Group Method Achieving a Quarter petaFLOPS Performance on a Single DGX-H100 GPU Node

Date:

September 29, 2024

Publication:

Journal of Chemical Theory and Computation

Author(s):

Andor Menczer, Maarten van Damme, Alan Rask, Lee Huntington, Jeff Hammond, Sotiris S. Xantheas, Martin Ganahl, Örs Legeza

Topic:

Conference

TurboTLS: TLS Connection Establishment With 1 Less Round Trip

Date:

September 16, 2024

Publication:

ESORICS 2024

Author(s):

Carlos Aguilar-Melchor, Thomas Bailleux, Jason Goertzen, Adrien Guinet, David Joseph, Douglas Stebila

Topic:

Conference

SDitH in Hardware

Date:

September 4, 2024

Publication:

TCHES 2024

Author(s):

Sanjay Deshpande, James Howe, Jakub Szefer, Dongze Yue

Topic:

Conference

On Round Elimination for Special-Sound Multi-Round Identification and the Generality of the Hypercube for MPCitH

Date:

August 18, 2024

Publication:

CRYPTO 2024

Author(s):

Andreas Huelsing, David Joseph, Christian Majenz, Anand Narayanan

Topic:

Conference

Quantum Lattice Enumeration in Limited Depth

Date:

August 18, 2024

Publication:

CRYPTO 2024

Author(s):

Nina Bindel, Xavier Bonnetain, Marcel Tiepelt, Fernando Virdia

Topic:

Conference

Formally Verifying Kyber Episode V: Machine-checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

Date:

August 18, 2024

Publication:

CRYPTO 2024

Author(s):

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

Topic:

Journal

Machine Learning Guided AQFEP: A Fast and Efficient Absolute Free Energy Perturbation Solution for Virtual Screening

Date:

August 15, 2024

Publication:

Journal of Chemical Theory and Computation

Author(s):

Jordan E. Crivelli-Decker, Zane Beckwith, Gary Tom, Ly Le, Sheenam Khuttan, Romelia Salomon-FerrerJackson Beall, Rafael Gómez-Bombarelli, Andrea Bortolato

Topic:

Preprint

Non-Unitary Coupled Cluster Enabled by Mid-circuit Measurements on Quantum Computers

Date:

July 17, 2024

Publication:

ArXiv

Author(s):

Alexandre Fleury, James Brown, Erika Lloyd, Maritza Hernandez, Isaac H. Kim

Topic:

Preprint

Parallel Implementation of the Density Matrix Renormalization Group Method Achieving a Quarter petaFLOPS Performance on a Single DGX-H100 GPU Node

Date:

July 10, 2024

Publication:

ArXiv

Author(s):

Andor Menczer, Maarten van Damme, Alan Rask, Lee Huntington, Jeff Hammond, Sotiris S. Xantheas, Martin Ganahl, Örs Legeza

Topic:

Preprint

Protecting Cryptographic Code Against Spectre-RSB

Date:

July 2, 2024

Publication:

Cryptology ePrint Archive

Author(s):

Santiago Arranz Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang

Topic:

Preprint

A Tight Security Proof for SPHINCS+, Formally Verified

Date:

June 8, 2024

Publication:

Cryptology ePrint Archive

Author(s):

Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, and Pierre-Yves Strub

Topic:

Conference

Crypto Dark Matter on the Torus: Oblivious PRFs from shallow PRFs and FHE

Date:

May 29, 2024

Publication:

EUROCRYPT 2024

Author(s):

Martin R. Albrecht, Alex Davidson, Amit Deo, Daniel Gardham

Topic:

Conference

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions

Date:

May 29, 2024

Publication:

EUROCRYPT 2024

Author(s):

Martin R. Albrecht, Giacomo Fenzi, Oleksandra Lapiha, Ngoc Khanh Nguyen

Topic:

Conference

Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants

Date:

May 29, 2024

Publication:

EUROCRYPT 2024

Author(s):

Anand Kumar Narayanan, Youming Qiao, Gang Tang

Topic:

Preprint

Guided Multi-Objective Generative AI to Enhance Structure-Based Drug Design

Date:

May 20, 2024

Publication:

ArXiv

Author(s):

Amit Kadan, Kevin Ryczko, Adrian Roitberg, Takeshi Yamazaki

Topic:

Preprint

Scaling Lattice Sieves across Multiple Machines

Date:

May 16, 2024

Publication:

Cryptology ePrint Archive

Author(s):

Martin R. Albrecht, Joe Rowell

Topic:

Conference

Batch Signatures, Revisited

Date:

May 6, 2024

Publication:

CT-RSA 2024

Author(s):

Carlos Aguilar-Melchor, Martin R. Albrecht, Thomas Bailleux, Nina Bindel, James Howe, Andreas Hülsing, David Joseph, Marc Manzano

Topic:

Preprint

X-Wing: The Hybrid KEM You’ve Been Looking For

Date:

April 29, 2024

Publication:

Communications in Cryptology

Author(s):

Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karolin Varner, Bas Westerbaan

Topic:

Conference

Quantum CCA-Secure PKE, Revisited

Date:

April 14, 2024

Publication:

PKC 2024

Author(s):

Navid Alamati, Varun Maram

Topic:

Journal

The Structure of Meaning in Language: Parallel Narratives in Linear Algebra and Category Theory

Date:

February 1, 2024

Publication:

The Notices of the American Mathematical Society

Author(s):

Tai-Danae Bradley, Juan Luis Gastaldi, John Terilla

Topic:

Preprint

Physics-Informed Calibration of Aeromagnetic Compensation in Magnetic Navigation Systems using Liquid Time-Constant Networks

Date:

January 17, 2024

Publication:

ArXiv

Author(s):

Favour Nerrise, Andrew (Sosa) Sosanya, Patrick Neary

Topic:

Conference

To Attest or Not to Attest, This is the Question – Provable Attestation in FIDO2

Date:

December 18, 2023

Publication:

ASIACRYPT 2023

Author(s):

Nina Bindel, Nicolas Gama, Sandra Guasch, Eyal Ronen

Topic:

Preprint

Machine Learning Guided AQFEP: A Fast & Efficient Absolute Free Energy Perturbation Solution for Virtual Screening

Date:

December 11, 2023

Publication:

ChemRxiv

Author(s):

Jordan E. Crivelli-Decker, Zane Beckwith, Gary Tom, Ly Le, Sheenam Khuttan, Romelia Salomon-Ferrer, Jackson Beall, Rafael G´omez-Bombarelli, Andrea Bortolato

Topic:

Journal

Secrecy and Sensitivity: Privacy-Performance Trade-Offs in Encrypted Traffic Classification

Date:

December 10, 2023

Publication:

MLSystems @ NeurIPS 2023

Author(s):

Spencer Giddens, Raphael Labaca-Castro, Dan Zhao, Sandra Guasch, Parth Mishra, Nicolas Gama

Topic:

Journal

Accelerated Organic Crystal Structure Prediction with Genetic Algorithms and Machine Learning

Date:

December 7, 2023

Publication:

Journal of Chemical Theory and Computation

Author(s):

Amit Kadan, Kevin Ryczko, Andrew Wildman, Rodrigo Wang, Adrian Roitberg, Takeshi Yamazaki

Topic:

Conference

When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications

Date:

December 7, 2023

Publication:

Network and Distributed Systems Security Symposium (NDSS) 2024

Author(s):

Geoff Twardokus, Nina Bindel, Hanif Rahbari, Sarah McCarthy

Topic:

Conference

SDitH in the QROM

Date:

December 4, 2023

Publication:

ASIACRYPT 2023

Author(s):

Carlos Aguilar-Melchor, Andreas Hülsing, David Joseph, Christian Majenz, Eyal Ronen, Dongze Yue

Topic:

Preprint

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions

Date:

November 25, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Martin R. Albrecht, Giacomo Fenzi, Oleksandra Lapiha, Ngoc Khanh Nguyen

Topic:

Preprint

On Finding Dense Sub-lattices as Low Energy States of a Quantum Hamiltonian

Date:

September 28, 2023

Publication:

ArXiv

Author(s):

Júlia Barberà Rodríguez, Nicolas Gama, Anand Kumar Narayanan, David Joseph

Topic:

Preprint

Quantum Lattice Enumeration in Limited Depth

Date:

September 25, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Nina Bindel, Xavier Bonnetain, Marcel Tiepelt, Fernando Virdia

Topic:

Conference

An ERF Analog for Discrete Gaussian Sampling

Date:

August 29, 2023

Publication:

Mathcrypt 2023

Author(s):

Nicolas Gama, Anand Kumar Narayanan, Ryder LiuLin, Dongze Yue

Topic:

Preprint

Massively Parallel Quantum Chemistry: PFAS on Over 1 Million Cloud vCPUs

Date:

July 20, 2023

Publication:

ArXiv

Author(s):

Alan E. Rask, Lee Huntington, SungYeon Kim, David Walker, Andrew Wildman, Rodrigo Wang, Nicole Hazel, Alan Judi, James T. Pegg, Punit K. Jha, Zara Mayimfor, Carl Dukatz, Hassan Naseri, Ilan Gleiser, Maxime R. Hugues, Paul M. Zimmerman, Arman Zaribafiyan, Rudi Plesch, Takeshi Yamazaki

Topic:

Conference

Benchmarking and Analysing the NIST PQC Finalist Lattice-Based Signature Schemes on the ARM Cortex M7

Date:

July 20, 2023

Publication:

AfricaCrypt 2023

Author(s):

James Howe and Bas Westerbaan

Topic:

Journal

Manticore: A Framework for Efficient Multiparty Computation Supporting Real Number and Boolean Arithmetic

Date:

July 11, 2023

Publication:

Journal of Cryptology

Author(s):

Mariya Georgieva Belorgey, Sergiu Carpov, Kevin Deforth, Dimitar Jetchev, Abson Sae-Tang, Marius Vuille, Nicolas Gama, Jon Katz, Iraklis Leontiadis & Mohsen Mohammadi

Topic:

Conference

Falkor: Federated Learning Secure Aggregation Powered by AES-CTR GPU Implementation

Date:

June 6, 2023

Publication:

WAHC 2023

Author(s):

Mariya Georgieva Belorgey, Sofia Dandjee, Nicolas Gama, Dimitar Jetchev, Dmitry Mikushin

Topic:

Preprint

Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic

Date:

May 30, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Mariya Georgieva Belorgey, Sergiu Carpov, Nicolas Gama, Sandra Guasch, Dimitar Jetchev

Topic:

Preprint

SDitH in the QROM

Date:

May 25, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Carlos Aguilar-Melchor, Andreas Hülsing, David Joseph, Christian Majenz, Eyal Ronen, Dongze Yue

Topic:

Preprint

Calculating Potential Energy Surfaces with Quantum Computers by Measuring Only the Density Along Adiabatic Transitions

Date:

May 15, 2023

Publication:

ArXiv

Author(s):

James Brown

Topic:

Conference

The Return of the SDitH

Date:

April 23, 2023

Publication:

EUROCRYPT 2023

Author(s):

Carlos Aguilar-Melchor, Nicolas Gama, James Howe, Andreas Hülsing, David Joseph, Dongze Yue

Topic:

Preprint

Batch Signatures, Revisited

Date:

April 4, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Carlos Aguilar-Melchor, Martin R. Albrecht, Thomas Bailleux, Nina Bindel, James Howe, Andreas Hülsing, David Joseph, Marc Manzano

Topic:

Preprint

A Note on Hybrid Signature Schemes

Date:

March 23, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Nina Bindel, Britta Hale

Topic:

Journal

Variational Quantum Solutions to the Shortest Vector Problem

Date:

March 2, 2023

Publication:

Quantum Journal

Author(s):

Martin R. Albrecht, Miloš Prokop, Yixin Shen, Petros Wallden

Topic:

Preprint

Crypto Dark Matter on the Torus: Oblivious PRFs from Shallow PRFs and FHE

Date:

February 20, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Martin R. Albrecht, Alex Davidson, Amit Deo, Daniel Gardham

Topic:

Preprint

TurboTLS: TLS Connection Establishment With 1 Less Round Trip

Date:

February 10, 2023

Publication:

ArXiv

Author(s):

Carlos Aguilar-Melchor, Thomas Bailleux, Jason Goertzen, David Joseph, Douglas Stebila

Topic:

Preprint

The Return of the SDitH

Date:

November 28, 2022

Publication:

Cryptology ePrint Archive

Author(s):

Carlos Aguilar-Melchor, Nicolas Gama, James Howe, Andreas Hülsing, David Joseph, Dongze Yue

Topic:

Preprint

Iterative Qubit Coupled Cluster using Only Clifford Circuits

Date:

November 18, 2022

Publication:

ArXiv

Author(s):

James Brown, Marc P. Coons, Erika Lloyd, Alexandre Fleury, Krzysztof Bieniasz, Valentin Senicourt, Arman Zaribafiyan

Topic:

Journal

The Need for Being Explicit: Failed Attempts to Construct Implicit Certificates from Lattices

Date:

October 28, 2022

Publication:

The Computer Journal

Author(s):

Nina Bindel, Sarah McCarthy

Topic:

Conference

Towards Automating Cryptographic Hardware Implementations: A Case Study of HQC

Date:

October 20, 2022

Publication:

CBCrypto 2022

Author(s):

Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, Vincent Migliore, Mamuri Nawan, and Kashif Nawaz

Topic:

Conference

Neural Distillation as a State Representation Bottleneck in Reinforcement Learning

Date:

October 5, 2022

Publication:

1st Conference on Lifelong Learning Agents

Author(s):

Valentin Guillet, Dennis G. Wilson, Carlos Aguilar Melchor, Emmanuel Rachelson

Topic:

Conference

On Neural Consolidation for Transfer in Reinforcement Learning

Date:

October 5, 2022

Publication:

IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning

Author(s):

Valentin Guillet, Dennis G. Wilson, Carlos Aguilar Melchor, Emmanuel Rachelson

Topic:

Journal

Survey on Fully Homomorphic Encryption, Theory, and Applications

Date:

October 1, 2022

Publication:

Proceedings of the IEEE

Author(s):

Chiara Marcolla, Victor Sucasas, Marc Manzano, Riccardo Bassoli, Frank HP Fitzek, Najwa Aaraj

Topic:

Conference

Light the Signal: Optimization of Signal Leakage Attacks Against LWE-Based Key Exchange

Date:

September 25, 2022

Publication:

European Symposium on Research in Computer Security

Author(s):

Yue Qin, Ruoyu Ding, Chi Cheng, Nina Bindel, Yanbin Pan, Jintai Ding

Topic:

Conference

Farasha: A Provable Permutation-Based Parallelizable PRF

Date:

September 5, 2022

Publication:

SAC 2022

Author(s):

Najwa Aaraj, Emanuele Bellin, Ravindra Jejurikar, Marc Manzano, Raghvendra Rohit, Eugenio Salazar

Topic:

Journal

Iterative Quantum Optimization with an Adaptive Problem - Hamiltonian for the Shortest Vector Problem

Date:

August 29, 2022

Publication:

American Physical Society

Author(s):

Yifeng Rocky Zhu, David Joseph, Cong Ling, and Florian Mintert

Topic:

Conference

FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation

Date:

August 19, 2022

Publication:

IEEE Symposium on Security and Privacy 2022

Author(s):

Nina Bindel, Cas Cremers, Mang Zhao

Topic:

Journal

Post-Quantum Cryptographic Assemblages and the Governance of the Quantum Threat

Date:

August 16, 2022

Publication:

Journal of Cybersecurity

Author(s):

Kristen Csenkey, Nina Bindel

Topic:

Conference

Hybrid Decoding–Classical-Quantum Trade-Offs for Information Set Decoding

Date:

July 28, 2022

Publication:

PQCrypto 2022

Author(s):

Andre Esser, Sergi Ramos-Calderer, Emanuele Bellini, José I Latorre, Marc Manzano

Topic:

Journal

Solving Systems of Boolean Multivariate Equations with Quantum Annealing

Date:

July 2, 2022

Publication:

American Physical Society

Author(s):

Sergi Ramos-Calderer, Carlos Bravo-Prieto, Ruge Lin, Emanuele Bellini, Marc Manzano, Najwa Aaraj, José I Latorre

Topic:

Preprint

Tangelo: An Open-source Python Package for End-to-end Chemistry Workflows on Quantum Computers

Date:

June 24, 2022

Publication:

ArXiv

Author(s):

Valentin Senicourt, James Brown, Alexandre Fleury, Ryan Day, Erika Lloyd, Marc P. Coons, Krzysztof Bieniasz, Lee Huntington, Alejandro J. Garza, Shunji Matsuura, Rudi Plesch, Takeshi Yamazaki, Arman Zaribafiyan

Topic:

Conference

LRPC Codes with Multiple Syndromes: Near Ideal-Size KEMs Without Ideals

Date:

June 23, 2022

Publication:

PQCrypto 2022

Author(s):

Carlos Aguilar Melchor, Nicolas Aragon, Victor Dyseryn, Philippe Gaborit, Gilles Zémor

Topic:

No results found.

Technical Research

Type

Topic

Year

A Gaussian Leftover Hash Lemma for Modules over Number Fields

Feistel Tools: Reprogramming and Query-Recording for QRPs

Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security

How Hard Can It Be to Formalize a Proof? Lessons from formalizing CryptoBox three times in EasyCrypt.

Partial Lattice Trapdoors: How to Split Lattice Trapdoors, Literally

Hybrid-Query Bounds with Partial Input Control – Framework and Application to Tight M-eTCR

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Quantum CCA-Secure PKE, Revisited

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code

Hyperdeterminants are Hard in Four Dimensions

Post-Quantum Online/Offline Signatures

Breaking Down Per- and Polyfluoroalkyl Substances (PFAS): Tackling Multitudes of Correlated Electrons

Strong Keys for Tensor Isomorphism Cryptography

Molecular Insights into Lithium-Ion Coordination and Morphology in Carbonate Polymer Electrolytes

Starfighters — on the General Applicability of X-Wing

Guided Multi-Objective Generative AI to Enhance Structure-Based Drug Design

Proving Faster Implementations Faster: Combining Deductive and Circuit-Based Reasoning in EasyCrypt

Hollow LWE: A New Spin, Unbounded Updatable Encryption from LWE and PCE

Strong Keys for Tensor Isomorphism Cryptography

Hybrid-Query Bounds with Partial Input Control – Framework and Application to Tight M-eTCR

Trapdoor One-way Functions From Tensors

Protecting Cryptographic Code Against Spectre-RSB

Orbital Optimization of Large Active Spaces via AI-Accelerators

Post-Quantum Cryptographic Analysis of SSH

Field Experiments on Post-Quantum DNSSEC

CAKE Requires Programming – On the Provable Post-Quantum Security of (O)CAKE

(Un)breakable Curses – Re-Encryption in the Fujisaki-Okamoto Transform

The Magnitude of Categories of Texts Enriched by Language Models

Leakage-Free Probabilistic Jasmin Programs

Accelerating Quantum Imaginary-Time Evolution with Random Measurements

Scaling Lattice Sieves across Multiple Machines

A High Dimensional Cramer's Rule Connecting Homogeneous Multilinear Equations to Hyperdeterminants

Towards Structure-Preserving Quantum Encodings

Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic

A Tight Security Proof for SPHINCS+, Formally Verified

Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable

On Finding Dense Sub-Lattices as Low Energy States of a Quantum Hamiltonian

Grover's Oracle for the Shortest Vector Problem and its Application in Hybrid Classical-Quantum Solvers

Retentive Neural Quantum States: Efficient Ansätze for Ab Initio Quantum Chemistry

Parallel Implementation of the Density Matrix Renormalization Group Method Achieving a Quarter petaFLOPS Performance on a Single DGX-H100 GPU Node

TurboTLS: TLS Connection Establishment With 1 Less Round Trip

SDitH in Hardware

On Round Elimination for Special-Sound Multi-Round Identification and the Generality of the Hypercube for MPCitH

Quantum Lattice Enumeration in Limited Depth

Formally Verifying Kyber Episode V: Machine-checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt

Machine Learning Guided AQFEP: A Fast and Efficient Absolute Free Energy Perturbation Solution for Virtual Screening

Non-Unitary Coupled Cluster Enabled by Mid-circuit Measurements on Quantum Computers

Parallel Implementation of the Density Matrix Renormalization Group Method Achieving a Quarter petaFLOPS Performance on a Single DGX-H100 GPU Node

Protecting Cryptographic Code Against Spectre-RSB

A Tight Security Proof for SPHINCS+, Formally Verified

Crypto Dark Matter on the Torus: Oblivious PRFs from shallow PRFs and FHE

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions

Algorithms for Matrix Code and Alternating Trilinear Form Equivalences via New Isomorphism Invariants

Guided Multi-Objective Generative AI to Enhance Structure-Based Drug Design

Scaling Lattice Sieves across Multiple Machines

Batch Signatures, Revisited

X-Wing: The Hybrid KEM You’ve Been Looking For

Quantum CCA-Secure PKE, Revisited

The Structure of Meaning in Language: Parallel Narratives in Linear Algebra and Category Theory

Physics-Informed Calibration of Aeromagnetic Compensation in Magnetic Navigation Systems using Liquid Time-Constant Networks

To Attest or Not to Attest, This is the Question – Provable Attestation in FIDO2

Machine Learning Guided AQFEP: A Fast & Efficient Absolute Free Energy Perturbation Solution for Virtual Screening

Secrecy and Sensitivity: Privacy-Performance Trade-Offs in Encrypted Traffic Classification

Accelerated Organic Crystal Structure Prediction with Genetic Algorithms and Machine Learning

When Cryptography Needs a Hand: Practical Post-Quantum Authentication for V2V Communications

SDitH in the QROM

SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions

On Finding Dense Sub-lattices as Low Energy States of a Quantum Hamiltonian

Quantum Lattice Enumeration in Limited Depth

An ERF Analog for Discrete Gaussian Sampling

Massively Parallel Quantum Chemistry: PFAS on Over 1 Million Cloud vCPUs

Benchmarking and Analysing the NIST PQC Finalist Lattice-Based Signature Schemes on the ARM Cortex M7

Manticore: A Framework for Efficient Multiparty Computation Supporting Real Number and Boolean Arithmetic

Falkor: Federated Learning Secure Aggregation Powered by AES-CTR GPU Implementation

Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic