Peter Schwabe

Tiago Oliveira

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

Protecting cryptographic code against Spectre-RSB.

[BibT_eX]

[DOI]

Santiago Arranz Olmos

IACR Cryptol. ePrint Arch., 2024

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.

[BibT_eX]

[DOI]

José Bacelar Almeida

Santiago Arranz Olmos

IACR Cryptol. ePrint Arch., 2024

Towards ML-KEM & ML-DSA on OpenTitan.

[BibT_eX]

[DOI]

Amin Abdulrahman

Felix Oberhansl

Hoang Nguyen Hien Pham

IACR Cryptol. ePrint Arch., 2024

Testing side-channel security of cryptographic implementations against future microarchitectures.

[BibT_eX]

[DOI]

Marcel Böhme

Sunjay Cauligi

Jesús-Javier Chi-Domínguez

CoRR, 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

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 Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 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]

Jesús-Javier Chi-Domínguez

IACR Trans. Cryptogr. Hardw. Embed. Syst., 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

Yuval Yarom

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Breaking and Fixing Speculative Load Hardening.

[BibT_eX]

[DOI]

Zhiyuan Zhang

Basavesh Ammanaghatta Shivakumar

Yuval Yarom

IACR Cryptol. ePrint Arch., 2022

Typing High-Speed Cryptography against Spectre v1.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[DOI]

Basavesh Ammanaghatta Shivakumar

Jack Barnes

Sunjay Cauligi

IACR Cryptol. ePrint Arch., 2022

Improving Software Quality in Cryptography Standardization Projects.

[BibT_eX]

[DOI]

Douglas Stebila

IACR Cryptol. ePrint Arch., 2022

First-Order Masked Kyber on ARM Cortex-M4.

[BibT_eX]

[DOI]

Daniel Heinz

IACR Cryptol. ePrint Arch., 2022

Post Quantum Noise.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Post-Quantum Multi-Recipient Public Key Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.

[BibT_eX]

[DOI]

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

2021

A Coq proof of the correctness of X25519 in TweetNaCl.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

More efficient post-quantum KEMTLS with pre-distributed public keys.

[BibT_eX]

[DOI]

Douglas Stebila

IACR Cryptol. ePrint Arch., 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

High-Assurance Cryptography in the Spectre Era.

[BibT_eX]

[DOI]

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

2020

Post-quantum TLS without handshake signatures.

[BibT_eX]

[DOI]

Douglas Stebila

IACR Cryptol. ePrint Arch., 2020

Post-quantum WireGuard.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

High-Assurance Cryptography Software in the Spectre Era.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

2019

Online template attacks.

[BibT_eX]

[DOI]

Lejla Batina

Lukasz Chmielewski

Louiza Papachristodoulou

Michael Tunstall

J. Cryptogr. Eng., 2019

Solving binary MQ with Grover's algorithm.

[BibT_eX]

[DOI]

Bas Westerbaan

IACR Cryptol. ePrint Arch., 2019

The complete cost of cofactor h=1.

[BibT_eX]

[DOI]

Amber Sprenkels

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

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

[BibT_eX]

[DOI]

Leon Botros

IACR Cryptol. ePrint Arch., 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

The SPHINCS+ Signature Framework.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 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

Is Java Card ready for hash-based signatures?

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Vectorizing Higher-Order Masking.

[BibT_eX]

[DOI]

Benjamin Grégoire

Kostas Papagiannopoulos

Ko Stoffelen

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

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

[BibT_eX]

[DOI]

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

2017

High-speed key encapsulation from NTRU.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 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

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

IACR Cryptol. ePrint Arch., 2017

2016

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

[BibT_eX]

[DOI]

Ko Stoffelen

IACR Cryptol. ePrint Arch., 2016

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Attacking embedded ECC implementations through cmov side channels.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

NaCl's Crypto_Box in Hardware.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 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

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

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

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

Footprint scheduling for Dining-Cryptographer networks.

[BibT_eX]

[DOI]

Anna Krasnova

Moritz Neikes

IACR Cryptol. ePrint Arch., 2015

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

[BibT_eX]

[DOI]

Andreas Hülsing

IACR Cryptol. ePrint Arch., 2015

EdDSA for more curves.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

McBits: fast constant-time code-based cryptography.

[BibT_eX]

[DOI]

Tung Chou

IACR Cryptol. ePrint Arch., 2015

Post-quantum key exchange - a new hope.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

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

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 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

2014

SPHINCS: practical stateless hash-based signatures.

[BibT_eX]

[DOI]

Louiza Papachristodoulou

Zooko Wilcox-O'Hearn

IACR Cryptol. ePrint Arch., 2014

Kummer strikes back: new DH speed records.

[BibT_eX]

[DOI]

Tanja Lange

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

Verifying Curve25519 Software.

[BibT_eX]

[DOI]

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

Graphics Processing Units.

[BibT_eX]

[DOI]

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

2013

NaCl on 8-Bit AVR Microcontrollers.

[BibT_eX]

[DOI]

Michael Hutter

IACR Cryptol. ePrint Arch., 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

2012

High-speed high-security signatures.

[BibT_eX]

[DOI]

J. Cryptogr. Eng., 2012

Usable assembly language for GPUs: a success story.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

ECC2K-130 on NVIDIA GPUs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

NEON Crypto.

[BibT_eX]

[DOI]

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

2011

SHA-3 on ARM11 processors.

[BibT_eX]

[DOI]

Bo-Yin Yang

Shang-Yi Yang

IACR Cryptol. ePrint Arch., 2011

The security impact of a new cryptographic library.

[BibT_eX]

[DOI]

Tanja Lange

IACR Cryptol. ePrint Arch., 2011

On the correct use of the negation map in the Pollard rho method.

[BibT_eX]

[DOI]

Tanja Lange

IACR Cryptol. ePrint Arch., 2011

Faster 2-regular information-set decoding.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Really fast syndrome-based hashing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

2010

New software speed records for cryptographic pairings.

[BibT_eX]

[DOI]

Michael Naehrig

Ruben Niederhagen

IACR Cryptol. ePrint Arch., 2010

ECC2K-130 on Cell CPUs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

2009

Faster and Timing-Attack Resistant AES-GCM.

[BibT_eX]

[DOI]

Emilia Käsper

IACR Cryptol. ePrint Arch., 2009

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

Fast elliptic-curve cryptography on the Cell Broadband Engine.

[BibT_eX]

[DOI]

Neil Costigan

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

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

[BibT_eX]

[DOI]

Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

2008

New AES software speed records.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

2007

On compressible pairings and their computation.

[BibT_eX]

[DOI]

Michael Naehrig

Paulo S. L. M. Barreto