SandboxAQ | Publications Library

Conference

SDitH in Hardware

Date:

September 4, 2024

Publication:

To be published in TCHES 2024

Author(s):

Sanjay Deshpande, James Howe, Jakub Szefer, Dongze Yue

Conference

Batch Signatures, Revisited

Date:

May 6, 2024

Publication:

To be published at CT-RSA in May 2024

Author(s):

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

Preprint

X-Wing

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

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

Conference

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

Date:

December 18, 2023

Publication:

ASIACRYPT

Author(s):

Nina Bindel, Nicolas Gama, Sandra Guasch, Eyal Ronen

Journal

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

Date:

December 7, 2023

Publication:

Network and Distributed Systems Security Symposium (NDSS)

Author(s):

Geoff Twardokus, Nina Bindel, Hanif Rahbari, Sarah McCarthy

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

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

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

Conference

An ERF Analog for Discrete Gaussian Sampling

Date:

August 29, 2023

Publication:

Mathcrypt

Author(s):

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

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

Conference

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

Date:

June 6, 2023

Publication:

WAHC

Author(s):

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

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

Conference

SDitH in the QROM

Date:

May 25, 2023

Publication:

ASIACRYPT

Author(s):

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

Preprint

A Note on Hybrid Signature Schemes

Date:

March 23, 2023

Publication:

Cryptology ePrint Archive

Author(s):

Nina Bindel, Britta Hale

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

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

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

Preprint

The Return of the SDitH

Date:

November 28, 2022

Publication:

Conference: Eurocrypt 2023

Author(s):

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

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

Preprint

Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC

Date:

October 20, 2022

Publication:

Author(s):

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

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

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

Journal

Survey on Fully Homomorphic Encryption, Theory, and Applications

Date:

October 1, 2022

Publication:

IEEE

Author(s):

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

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

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

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

Conference

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

Date:

August 19, 2022

Publication:

43rd IEEE Symposium on Security and Privacy

Author(s):

Nina Bindel, Cas Cremers, Mang Zhao

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

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

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

Conference

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

Date:

June 23, 2022

Publication:

13th International Workshop, PQCrypto 2022

Author(s):

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

Journal

Transitioning Organizations to Post-Quantum Cryptography

Date:

May 11, 2022

Publication:

Nature

Author(s):

David Joseph, Rafael Misoczki, Marc Manzano, Joe Tricot, Fernando Dominguez Pinuaga, Olivier Lacombe, Stefan Leichenauer, Jack Hidary, Phil Venables, Royal Hansen

Preprint

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

Date:

March 31, 2022

Publication:

Author(s):

James Howe and Bas Westerbaan

Journal

Quantum Mean-Value Approximator for Hard Integer-Value Problems

Date:

May 29, 2021

Publication:

American Physical Society

Author(s):

David Joseph, Antonio Martinez, Cong Ling, Florian Mintert

No results found.

Publications Library

Type

Year

SDitH in Hardware

Batch Signatures, Revisited

X-Wing

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

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

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

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

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

SDitH in the QROM

A Note on Hybrid Signature Schemes

Variational Quantum Solutions to the Shortest Vector Problem

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

TurboTLS: TLS Connection Establishment With 1 Less Round Trip

The Return of the SDitH

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

Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC

On Neural Consolidation for Transfer in Reinforcement Learning

Neural Distillation as a State Representation Bottleneck in Reinforcement Learning

Survey on Fully Homomorphic Encryption, Theory, and Applications

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

Farasha: A Provable Permutation-Based Parallelizable PRF

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

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

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

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

Solving Systems of Boolean Multivariate Equations with Quantum Annealing

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

Transitioning Organizations to Post-Quantum Cryptography

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

Quantum Mean-Value Approximator for Hard Integer-Value Problems