Peter Schwabe

Dataset, January, 2025

Protecting cryptographic code against Spectre-RSB.

[BibT_eX]

[DOI]

Dataset, January, 2025

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

[BibT_eX]

[DOI]

Gustavo Xavier Delerue Marinho Alves

IACR Cryptol. ePrint Arch., 2025

Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.

[BibT_eX]

[DOI]

José Bacelar Almeida

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Towards ML-KEM & ML-DSA on OpenTitan.

[BibT_eX]

[DOI]

Amin Abdulrahman

Felix Oberhansl

Hoang Nguyen Hien Pham

Proceedings of the IEEE Symposium on Security and Privacy, 2025

Formally Verified Correctness Bounds for Lattice-Based Cryptography.

[BibT_eX]

[DOI]

Manuel Barbosa

Thing-Han Lim

Pierre-Yves Strub

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants).

[BibT_eX]

[DOI]

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Protecting cryptographic code against Spectre-RSB.

[BibT_eX]

[DOI]

Jesús-Javier Chi-Domínguez

IACR Cryptol. ePrint Arch., 2024

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Optimizations and Practicality of High-Security CSIDH.

[BibT_eX]

[DOI]

Fabio Campos

Jorge Chávez-Saab

Michael Meyer

Krijn Reijnders

Francisco Rodríguez-Henríquez

IACR Commun. Cryptol., 2024

X-Wing.

[BibT_eX]

[DOI]

IACR Commun. Cryptol., 2024

SWOOSH: Efficient Lattice-Based Non-Interactive Key Exchange.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

"These results must be false": A usability evaluation of constant-time analysis tools.

[BibT_eX]

[DOI]

Marcel Fourné

Daniel De Almeida Braga

Proceedings of the 33rd USENIX Security Symposium, 2024

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

[BibT_eX]

[DOI]

José Bacelar Almeida

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures.

[BibT_eX]

[DOI]

Marcel Böhme

Sunjay Cauligi

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

SoK: SCA-secure ECC in software - mission impossible?

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Formally verifying Kyber Episode IV: Implementation correctness.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

High-assurance zeroization.

[BibT_eX]

[DOI]

Tiago Oliveira

Jesús-Javier Chi-Domínguez

IACR Cryptol. ePrint Arch., 2023

Swoosh: Practical Lattice-Based Non-Interactive Key Exchange.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

On the Practicality of Post-Quantum TLS Using Large-Parameter CSIDH.

[BibT_eX]

[DOI]

Fabio Campos

Jorge Chávez-Saab

Michael Meyer

Krijn Reijnders

Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2023

Kyber terminates.

[BibT_eX]

[DOI]

Manuel Barbosa

IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Ultimate SLH: Taking Speculative Load Hardening to the Next Level.

[BibT_eX]

[DOI]

Zhiyuan Zhang

Basavesh Ammanaghatta Shivakumar

Yuval Yarom

Proceedings of the 32nd USENIX Security Symposium, 2023

Typing High-Speed Cryptography against Spectre v1.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Spectre Declassified: Reading from the Right Place at the Wrong Time.

[BibT_eX]

[DOI]

Basavesh Ammanaghatta Shivakumar

Jack Barnes

Sunjay Cauligi

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Post-Quantum Multi-Recipient Public Key Encryption.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Breaking and Fixing Speculative Load Hardening.

[BibT_eX]

[DOI]

Zhiyuan Zhang

Yuval Yarom

IACR Cryptol. ePrint Arch., 2022

First-Order Masked Kyber on ARM Cortex-M4.

[BibT_eX]

[DOI]

Daniel Heinz

IACR Cryptol. ePrint Arch., 2022

"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks.

[BibT_eX]

[DOI]

Jan Jancar

Marcel Fourné

Daniel De Almeida Braga

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 29th International Symposium, 2022

Improving Software Quality in Cryptography Standardization Projects.

[BibT_eX]

[DOI]

Douglas Stebila

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

Post Quantum Noise.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks.

[BibT_eX]

[DOI]

Jan Jancar

Marcel Fourné

Daniel De Almeida Braga

IACR Cryptol. ePrint Arch., 2021

SCA-secure ECC in software - mission impossible?

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Post-quantum WireGuard.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

High-Assurance Cryptography in the Spectre Era.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

More Efficient Post-quantum KEMTLS with Pre-distributed Public Keys.

[BibT_eX]

[DOI]

Douglas Stebila

Proceedings of the Computer Security - ESORICS 2021, 2021

A Coq proof of the correctness of X25519 in TweetNaCl.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

High-Assurance Cryptography Software in the Spectre Era.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Post-Quantum TLS Without Handshake Signatures.

[BibT_eX]

[DOI]

Douglas Stebila

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Solving binary MQ with Grover's algorithm.

[BibT_eX]

[DOI]

Bas Westerbaan

IACR Cryptol. ePrint Arch., 2019

pqm4: Testing and Benchmarking NIST PQC on ARM Cortex-M4.

[BibT_eX]

[DOI]

Ko Stoffelen

IACR Cryptol. ePrint Arch., 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

The Complete Cost of Cofactor h=1.

[BibT_eX]

[DOI]

Amber Sprenkels

Proceedings of the Progress in Cryptology - INDOCRYPT 2019, 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Memory-Efficient High-Speed Implementation of Kyber on Cortex-M4.

[BibT_eX]

[DOI]

Leon Botros

Proceedings of the Progress in Cryptology - AFRICACRYPT 2019, 2019

Faster Multiplication in \mathbb Z_2^m[x] on Cortex-M4 to Speed up NIST PQC Candidates.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2019

2018

CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme.

[BibT_eX]

[DOI]

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018

Faster multiplication in ℤ2m[x] on Cortex-M4 to speed up NIST PQC candidates.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

SOFIA: MQ MQ -Based Signatures in the QROM.

[BibT_eX]

[DOI]

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

Is Java Card Ready for Hash-Based Signatures?

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2018

CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

Vectorizing Higher-Order Masking.

[BibT_eX]

[DOI]

Benjamin Grégoire

Kostas Papagiannopoulos

Ko Stoffelen

Proceedings of the Constructive Side-Channel Analysis and Secure Design, 2018

2017

CRYSTALS - Dilithium: Digital Signatures from Module Lattices.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

SOFIA: MQ-based signatures in the QROM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

CRYSTALS - Kyber: a CCA-secure module-lattice-based KEM.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

High-Speed Key Encapsulation from NTRU.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017

Gimli : A Cross-Platform Permutation.

[BibT_eX]

[DOI]

Pedro Maat Costa Massolino

Stefan Kölbl

Stefan Lucks

François-Xavier Standaert

Yosuke Todo

Benoît Viguier

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017

2016

From 5-pass MQ-based identification to MQ-based signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Faster discrete logarithms on FPGAs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

A new hope on ARM Cortex-M.

[BibT_eX]

[DOI]

Erdem Alkim

Philipp Jakubeit

IACR Cryptol. ePrint Arch., 2016

NewHope without reconciliation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

$μ$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers.

[BibT_eX]

[DOI]

CoRR, 2016

Post-quantum Key Exchange - A New Hope.

[BibT_eX]

[DOI]

Proceedings of the 25th USENIX Security Symposium, 2016

Solving Binary MQ with Grover's Algorithm.

[BibT_eX]

[DOI]

Bas Westerbaan

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2016

NewHope on ARM Cortex-M.

[BibT_eX]

[DOI]

Erdem Alkim

Philipp Jakubeit

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2016

All the AES You Need on Cortex-M3 and M4.

[BibT_eX]

[DOI]

Ko Stoffelen

Proceedings of the Selected Areas in Cryptography - SAC 2016, 2016

Attacking Embedded ECC Implementations Through cmov Side Channels.

[BibT_eX]

[DOI]

Proceedings of the Selected Areas in Cryptography - SAC 2016, 2016

ARMed SPHINCS - Computing a 41 KB Signature in 16 KB of RAM.

[BibT_eX]

[DOI]

Andreas Hülsing

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

Footprint Scheduling for Dining-Cryptographer Networks.

[BibT_eX]

[DOI]

Anna Krasnova

Moritz Neikes

Proceedings of the Financial Cryptography and Data Security, 2016

\mu Kummer: Efficient Hyperelliptic Signatures and Key Exchange on Microcontrollers.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2016, 2016

From 5-Pass MQ -Based Identification to MQ -Based Signatures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Multiprecision multiplication on AVR revisited.

[BibT_eX]

[DOI]

Michael Hutter

J. Cryptogr. Eng., 2015

ARMed SPHINCS - Computing a 41KB signature in 16KB of RAM.

[BibT_eX]

[DOI]

Andreas Hülsing

IACR Cryptol. ePrint Arch., 2015

High-speed Curve25519 on 8-bit, 16-bit, and 32-bit microcontrollers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

EdDSA for more curves.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

SPHINCS: Practical Stateless Hash-Based Signatures.

[BibT_eX]

[DOI]

Louiza Papachristodoulou

Michael Schneider

Zooko Wilcox-O'Hearn

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 2015

NaCl's Crypto_box in Hardware.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2015, 2015

2014

SPHINCS: practical stateless hash-based signatures.

[BibT_eX]

[DOI]

Louiza Papachristodoulou

Zooko Wilcox-O'Hearn

IACR Cryptol. ePrint Arch., 2014

Full-Size High-Security ECC Implementation on MSP430 Microcontrollers.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - LATINCRYPT 2014, 2014

High-Speed Signatures from Standard Lattices.

[BibT_eX]

[DOI]

Özgür Dagdelen

Rachid El Bansarkhani

Proceedings of the Progress in Cryptology - LATINCRYPT 2014, 2014

TweetNaCl: A Crypto Library in 100 Tweets.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - LATINCRYPT 2014, 2014

Online Template Attacks.

[BibT_eX]

[DOI]

Lejla Batina

Lukasz Chmielewski

Louiza Papachristodoulou

Michael Tunstall

Proceedings of the Progress in Cryptology - INDOCRYPT 2014, 2014

Verifying Curve25519 Software.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Kummer Strikes Back: New DH Speed Records.

[BibT_eX]

[DOI]

Tanja Lange

Proceedings of the Advances in Cryptology - ASIACRYPT 2014, 2014

Graphics Processing Units.

[BibT_eX]

[DOI]

Proceedings of the Secure Smart Embedded Devices, Platforms and Applications, 2014

2013

Software Speed Records for Lattice-Based Signatures.

[BibT_eX]

[DOI]

Proceedings of the Post-Quantum Cryptography - 5th International Workshop, 2013

PandA: Pairings and Arithmetic.

[BibT_eX]

[DOI]

Michael Naehrig

Pance Ribarski

Proceedings of the Pairing-Based Cryptography - Pairing 2013, 2013

Efficient Vector Implementations of AES-Based Designs: A Case Study and New Implemenations for Grøstl.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology - CT-RSA 2013, 2013

McBits: Fast Constant-Time Code-Based Cryptography.

[BibT_eX]

[DOI]

Tung Chou

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2013, 2013

NaCl on 8-Bit AVR Microcontrollers.

[BibT_eX]

[DOI]

Michael Hutter

Proceedings of the Progress in Cryptology, 2013

2012

Usable assembly language for GPUs: a success story.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

The Security Impact of a New Cryptographic Library.

[BibT_eX]

[DOI]

Tanja Lange

Proceedings of the Progress in Cryptology - LATINCRYPT 2012, 2012

NEON Crypto.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2012, 2012

SHA-3 on ARM11 Processors.

[BibT_eX]

[DOI]

Bo-Yin Yang

Shang-Yi Yang

Proceedings of the Progress in Cryptology - AFRICACRYPT 2012, 2012

2011

On the Correct Use of the Negation Map in the Pollard rho Method.

[BibT_eX]

[DOI]

Tanja Lange

Proceedings of the Public Key Cryptography - PKC 2011, 2011

Faster 2-Regular Information-Set Decoding.

[BibT_eX]

[DOI]

Proceedings of the Coding and Cryptology - Third International Workshop, 2011

High-Speed High-Security Signatures.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2011 - 13th International Workshop, Nara, Japan, September 28, 2011

Really Fast Syndrome-Based Hashing.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2011, 2011

2010

New Software Speed Records for Cryptographic Pairings.

[BibT_eX]

[DOI]

Michael Naehrig

Ruben Niederhagen

Proceedings of the Progress in Cryptology, 2010

ECC2K-130 on NVIDIA GPUs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2010, 2010

ECC2K-130 on Cell CPUs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2010

2009

Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

Implementing Wagner's generalized birthday attack against the SHA-3 round-1 candidate FSB.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

Breaking ECC2K-130.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

The Certicom Challenges ECC2-X.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

FSBday.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2009

Faster and Timing-Attack Resistant AES-GCM.

[BibT_eX]

[DOI]

Emilia Käsper

Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves.

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

Fast Elliptic-Curve Cryptography on the Cell Broadband Engine.

[BibT_eX]

[DOI]

Neil Costigan

Proceedings of the Progress in Cryptology, 2009

2008

New AES Software Speed Records.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2008

On Compressible Pairings and Their Computation.

[BibT_eX]

[DOI]

Michael Naehrig

Paulo S. L. M. Barreto