On compressible pairings and their computation. - Michael Naehrig; Paulo S. L. M. Barreto; Peter Schwabe (IACR Cryptol. ePrint Arch., 2007)

New AES software speed records. - Daniel J. Bernstein; Peter Schwabe (IACR Cryptol. ePrint Arch., 2008)

Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves. - David Kammler; Diandian Zhang; Peter Schwabe; Hanno Scharwächter; Markus Langenberg; Dominik Auras; Gerd Ascheid; Rudolf Mathar (CHES, 2009)

FSBday. - Daniel J. Bernstein; Tanja Lange 001; Ruben Niederhagen; Christiane Peters; Peter Schwabe (INDOCRYPT, 2009)

The Certicom Challenges ECC2-X. - Daniel V. Bailey; Brian Baldwin; Lejla Batina; Daniel J. Bernstein; Peter Birkner; Joppe W. Bos; Gauthier Van Damme; Giacomo de Meulenaer; Junfeng Fan; Tim Güneysu; Frank K. Gürkaynak; Thorsten Kleinjung; et al. (IACR Cryptol. ePrint Arch., 2009)

Breaking ECC2K-130. - Daniel V. Bailey; Lejla Batina; Daniel J. Bernstein; Peter Birkner; Joppe W. Bos; Hsieh-Chung Chen; Chen-Mou Cheng; Gauthier Van Damme; Giacomo de Meulenaer; Luis J. Dominguez Perez; Junfeng Fan; Tim Güneysu; et al. (IACR Cryptol. ePrint Arch., 2009)

Implementing Wagner's generalized birthday attack against the SHA-3 round-1 candidate FSB. - Daniel J. Bernstein; Tanja Lange 001; Ruben Niederhagen; Christiane Peters; Peter Schwabe (IACR Cryptol. ePrint Arch., 2009)

Fast elliptic-curve cryptography on the Cell Broadband Engine. - Neil Costigan; Peter Schwabe (IACR Cryptol. ePrint Arch., 2009)

Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves. - David Kammler; Diandian Zhang; Peter Schwabe; Hanno Scharwächter; Markus Langenberg; Dominik Auras; Gerd Ascheid; Rainer Leupers; Rudolf Mathar; Heinrich Meyr (IACR Cryptol. ePrint Arch., 2009)

Faster and Timing-Attack Resistant AES-GCM. - Emilia Käsper; Peter Schwabe (IACR Cryptol. ePrint Arch., 2009)

ECC2K-130 on Cell CPUs. - Joppe W. Bos; Thorsten Kleinjung; Ruben Niederhagen; Peter Schwabe (IACR Cryptol. ePrint Arch., 2010)

New software speed records for cryptographic pairings. - Michael Naehrig; Ruben Niederhagen; Peter Schwabe (IACR Cryptol. ePrint Arch., 2010)

Really fast syndrome-based hashing. - Daniel J. Bernstein; Tanja Lange 001; Christiane Peters; Peter Schwabe (IACR Cryptol. ePrint Arch., 2011)

Faster 2-regular information-set decoding. - Daniel J. Bernstein; Tanja Lange 001; Christiane Peters; Peter Schwabe (IACR Cryptol. ePrint Arch., 2011)

On the correct use of the negation map in the Pollard rho method. - Daniel J. Bernstein; Tanja Lange 001; Peter Schwabe (IACR Cryptol. ePrint Arch., 2011)

The security impact of a new cryptographic library. - Daniel J. Bernstein; Tanja Lange 001; Peter Schwabe (IACR Cryptol. ePrint Arch., 2011)

SHA-3 on ARM11 processors. - Peter Schwabe; Bo-Yin Yang; Shang-Yi Yang (IACR Cryptol. ePrint Arch., 2011)

NEON Crypto. - Daniel J. Bernstein; Peter Schwabe (CHES, 2012)

ECC2K-130 on NVIDIA GPUs. - Daniel J. Bernstein; Hsieh-Chung Chen; Chen-Mou Cheng; Tanja Lange 001; Ruben Niederhagen; Peter Schwabe; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2012)

Usable assembly language for GPUs: a success story. - Daniel J. Bernstein; Hsieh-Chung Chen; Chen-Mou Cheng; Tanja Lange 001; Ruben Niederhagen; Peter Schwabe; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2012)

High-speed high-security signatures. - Daniel J. Bernstein; Niels Duif; Tanja Lange 001; Peter Schwabe; Bo-Yin Yang (J. Cryptogr. Eng., 2012)

Efficient Vector Implementations of AES-Based Designs: A Case Study and New Implemenations for Grøstl. - Severin Holzer-Graf; Thomas Krinninger; Martin Pernull; Martin Schläffer; Peter Schwabe; David Seywald; Wolfgang Wieser (CT-RSA, 2013)

PandA: Pairings and Arithmetic. - Chitchanok Chuengsatiansup; Michael Naehrig; Pance Ribarski; Peter Schwabe (Pairing, 2013)

Software Speed Records for Lattice-Based Signatures. - Tim Güneysu; Tobias Oder; Thomas Pöppelmann; Peter Schwabe (PQCrypto, 2013)

NaCl on 8-Bit AVR Microcontrollers. - Michael Hutter; Peter Schwabe (IACR Cryptol. ePrint Arch., 2013)

Graphics Processing Units. - Peter Schwabe (Secure Smart Embedded Devices, Platforms and Applications, 2014)

Verifying Curve25519 Software. - Yu-Fang Chen 001; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang (CCS, 2014)

TweetNaCl: A Crypto Library in 100 Tweets. - Daniel J. Bernstein; Bernard van Gastel; Wesley Janssen; Tanja Lange 001; Peter Schwabe; Sjaak Smetsers (LATINCRYPT, 2014)

High-Speed Signatures from Standard Lattices. - Özgür Dagdelen; Rachid El Bansarkhani; Florian Göpfert; Tim Güneysu; Tobias Oder; Thomas Pöppelmann; Ana Helena Sánchez; Peter Schwabe (LATINCRYPT, 2014)

Full-Size High-Security ECC Implementation on MSP430 Microcontrollers. - Gesine Hinterwälder; Amir Moradi 001; Michael Hutter; Peter Schwabe; Christof Paar (LATINCRYPT, 2014)

Kummer strikes back: new DH speed records. - Daniel J. Bernstein; Chitchanok Chuengsatiansup; Tanja Lange 001; Peter Schwabe (IACR Cryptol. ePrint Arch., 2014)

SPHINCS: practical stateless hash-based signatures. - Daniel J. Bernstein; Daira Hopwood; Andreas Hülsing; Tanja Lange 001; Ruben Niederhagen; Louiza Papachristodoulou; Peter Schwabe; Zooko Wilcox-O'Hearn (IACR Cryptol. ePrint Arch., 2014)

SPHINCS: Practical Stateless Hash-Based Signatures. - Daniel J. Bernstein; Daira Hopwood; Andreas Hülsing; Tanja Lange 001; Ruben Niederhagen; Louiza Papachristodoulou; Michael Schneider 002; Peter Schwabe; Zooko Wilcox-O'Hearn (EUROCRYPT (1), 2015)

High-speed Curve25519 on 8-bit, 16-bit, and 32-bit microcontrollers. - Michael Düll; Björn Haase; Gesine Hinterwälder; Michael Hutter; Christof Paar; Ana Helena Sánchez; Peter Schwabe (Des. Codes Cryptogr., 2015)

Post-quantum key exchange - a new hope. - Erdem Alkim; Léo Ducas; Thomas Pöppelmann; Peter Schwabe (IACR Cryptol. ePrint Arch., 2015)

McBits: fast constant-time code-based cryptography. - Daniel J. Bernstein; Tung Chou; Peter Schwabe (IACR Cryptol. ePrint Arch., 2015)

EdDSA for more curves. - Daniel J. Bernstein; Simon Josefsson; Tanja Lange 001; Peter Schwabe; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2015)

ARMed SPHINCS - Computing a 41KB signature in 16KB of RAM. - Andreas Hülsing; Joost Rijneveld; Peter Schwabe (IACR Cryptol. ePrint Arch., 2015)

Footprint scheduling for Dining-Cryptographer networks. - Anna Krasnova; Moritz Neikes; Peter Schwabe (IACR Cryptol. ePrint Arch., 2015)

Multiprecision multiplication on AVR revisited. - Michael Hutter; Peter Schwabe (J. Cryptogr. Eng., 2015)

From 5-Pass MQ -Based Identification to MQ -Based Signatures. - Ming-Shing Chen; Andreas Hülsing; Joost Rijneveld; Simona Samardjiska; Peter Schwabe (ASIACRYPT (2), 2016)

ARMed SPHINCS - Computing a 41 KB Signature in 16 KB of RAM. - Andreas Hülsing; Joost Rijneveld; Peter Schwabe (Public Key Cryptography (1), 2016)

NewHope on ARM Cortex-M. - Erdem Alkim; Philipp Jakubeit; Peter Schwabe (SPACE, 2016)

Solving Binary MQ with Grover's Algorithm. - Peter Schwabe; Bas Westerbaan (SPACE, 2016)

$μ$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers. - Joost Renes; Peter Schwabe; Benjamin Smith 003; Lejla Batina (CoRR, 2016)

NewHope without reconciliation. - Erdem Alkim; Léo Ducas; Thomas Pöppelmann; Peter Schwabe (IACR Cryptol. ePrint Arch., 2016)

A new hope on ARM Cortex-M. - Erdem Alkim; Philipp Jakubeit; Peter Schwabe (IACR Cryptol. ePrint Arch., 2016)

Faster discrete logarithms on FPGAs. - Daniel J. Bernstein; Susanne Engels; Tanja Lange 001; Ruben Niederhagen; Christof Paar; Peter Schwabe; Ralf Zimmermann 001 (IACR Cryptol. ePrint Arch., 2016)

From 5-pass MQ-based identification to MQ-based signatures. - Andreas Hülsing; Joost Rijneveld; Simona Samardjiska; Peter Schwabe (IACR Cryptol. ePrint Arch., 2016)

NaCl's Crypto_Box in Hardware. - Michael Hutter; Jürgen Schilling; Peter Schwabe; Wolfgang Wieser (IACR Cryptol. ePrint Arch., 2016)

Attacking embedded ECC implementations through cmov side channels. - Erick Nascimento; Lukasz Chmielewski; David F. Oswald; Peter Schwabe (IACR Cryptol. ePrint Arch., 2016)

( mu )Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers. - Joost Renes; Peter Schwabe; Benjamin Smith 003; Lejla Batina (IACR Cryptol. ePrint Arch., 2016)

All the AES You Need on Cortex-M3 and M4. - Peter Schwabe; Ko Stoffelen (IACR Cryptol. ePrint Arch., 2016)

Gimli: a cross-platform permutation. - Daniel J. Bernstein; Stefan Kölbl; Stefan Lucks; Pedro Maat Costa Massolino; Florian Mendel; Kashif Nawaz; Tobias Schneider 002; Peter Schwabe; François-Xavier Standaert; Yosuke Todo; Benoît Viguier (IACR Cryptol. ePrint Arch., 2017)

CRYSTALS - Kyber: a CCA-secure module-lattice-based KEM. - Joppe W. Bos; Léo Ducas; Eike Kiltz; Tancrède Lepoint; Vadim Lyubashevsky; John M. Schanck; Peter Schwabe; Damien Stehlé (IACR Cryptol. ePrint Arch., 2017)

SOFIA: MQ-based signatures in the QROM. - Ming-Shing Chen; Andreas Hülsing; Joost Rijneveld; Simona Samardjiska; Peter Schwabe (IACR Cryptol. ePrint Arch., 2017)

CRYSTALS - Dilithium: Digital Signatures from Module Lattices. - Léo Ducas; Tancrède Lepoint; Vadim Lyubashevsky; Peter Schwabe; Gregor Seiler; Damien Stehlé (IACR Cryptol. ePrint Arch., 2017)

High-speed key encapsulation from NTRU. - Andreas Hülsing; Joost Rijneveld; John M. Schanck; Peter Schwabe (IACR Cryptol. ePrint Arch., 2017)

CRYSTALS - Kyber: A CCA-Secure Module-Lattice-Based KEM. - Joppe W. Bos; Léo Ducas; Eike Kiltz; Tancrède Lepoint; Vadim Lyubashevsky; John M. Schanck; Peter Schwabe; Gregor Seiler; Damien Stehlé (EuroS&P, 2018)

SOFIA: MQ MQ -Based Signatures in the QROM. - Ming-Shing Chen; Andreas Hülsing; Joost Rijneveld; Simona Samardjiska; Peter Schwabe (Public Key Cryptography (2), 2018)

Vectorizing Higher-Order Masking. - Benjamin Grégoire; Kostas Papagiannopoulos; Peter Schwabe; Ko Stoffelen (IACR Cryptol. ePrint Arch., 2018)

Faster multiplication in ℤ2m[x] on Cortex-M4 to speed up NIST PQC candidates. - Matthias J. Kannwischer; Joost Rijneveld; Peter Schwabe (IACR Cryptol. ePrint Arch., 2018)

Is Java Card ready for hash-based signatures? - Ebo van der Laan; Erik Poll; Joost Rijneveld; Joeri de Ruiter; Peter Schwabe; Jan Verschuren (IACR Cryptol. ePrint Arch., 2018)

CRYSTALS-Dilithium: A Lattice-Based Digital Signature Scheme. - Léo Ducas; Eike Kiltz; Tancrède Lepoint; Vadim Lyubashevsky; Peter Schwabe; Gregor Seiler; Damien Stehlé (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2018)

Faster Multiplication in mathbb Z_2^m[x] on Cortex-M4 to Speed up NIST PQC Candidates. - Matthias J. Kannwischer; Joost Rijneveld; Peter Schwabe (ACNS, 2019)

The SPHINCS+ Signature Framework. - Daniel J. Bernstein; Andreas Hülsing; Stefan Kölbl; Ruben Niederhagen; Joost Rijneveld; Peter Schwabe (CCS, 2019)

The SPHINCS+ Signature Framework. - Daniel J. Bernstein; Andreas Hülsing; Stefan Kölbl; Ruben Niederhagen; Joost Rijneveld; Peter Schwabe (IACR Cryptol. ePrint Arch., 2019)

Memory-Efficient High-Speed Implementation of Kyber on Cortex-M4. - Leon Botros; Matthias J. Kannwischer; Peter Schwabe (IACR Cryptol. ePrint Arch., 2019)

pqm4: Testing and Benchmarking NIST PQC on ARM Cortex-M4. - Matthias J. Kannwischer; Joost Rijneveld; Peter Schwabe; Ko Stoffelen (IACR Cryptol. ePrint Arch., 2019)

The complete cost of cofactor h=1. - Peter Schwabe; Amber Sprenkels (IACR Cryptol. ePrint Arch., 2019)

Solving binary MQ with Grover's algorithm. - Peter Schwabe; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2019)

Online template attacks. - Lejla Batina; Lukasz Chmielewski; Louiza Papachristodoulou; Peter Schwabe; Michael Tunstall (J. Cryptogr. Eng., 2019)

High-Assurance Cryptography Software in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2020)

Post-quantum WireGuard. - Andreas Hülsing; Kai-Chun Ning; Peter Schwabe; Florian Weber; Philip R. Zimmermann (IACR Cryptol. ePrint Arch., 2020)

Post-quantum TLS without handshake signatures. - Peter Schwabe; Douglas Stebila; Thom Wiggers (IACR Cryptol. ePrint Arch., 2020)

High-Assurance Cryptography in the Spectre Era. - Gilles Barthe; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira 004; Swarn Priya; Tamara Rezk; Peter Schwabe (SP, 2021)

SCA-secure ECC in software - mission impossible? - Lejla Batina; Lukasz Chmielewski; Björn Haase; Niels Samwel; Peter Schwabe (IACR Cryptol. ePrint Arch., 2021)

âTheyâre not that hard to mitigateâ: What Cryptographic Library Developers Think About Timing Attacks. - Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre-Alain Fouque; Yasemin Acar (IACR Cryptol. ePrint Arch., 2021)

More efficient post-quantum KEMTLS with pre-distributed public keys. - Peter Schwabe; Douglas Stebila; Thom Wiggers (IACR Cryptol. ePrint Arch., 2021)

A Coq proof of the correctness of X25519 in TweetNaCl. - Peter Schwabe; Benoît Viguier; Timmy Weerwag; Freek Wiedijk (IACR Cryptol. ePrint Arch., 2021)

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. - Gilles Barthe; Adrien Koutsos; Solène Mirliaz; David Pichardie; Peter Schwabe (SAS, 2022)

Post-Quantum Multi-Recipient Public Key Encryption. - Joël Alwen; Dominik Hartmann; Eike Kiltz; Marta Mularczyk; Peter Schwabe (IACR Cryptol. ePrint Arch., 2022)

Post Quantum Noise. - Yawning Angel; Benjamin Dowling; Andreas Hülsing; Peter Schwabe; Florian Weber (IACR Cryptol. ePrint Arch., 2022)

First-Order Masked Kyber on ARM Cortex-M4. - Daniel Heinz; Matthias J. Kannwischer; Georg Land; Thomas Pöppelmann; Peter Schwabe; Amber Sprenkels (IACR Cryptol. ePrint Arch., 2022)

Improving Software Quality in Cryptography Standardization Projects. - Matthias J. Kannwischer; Peter Schwabe; Douglas Stebila; Thom Wiggers (IACR Cryptol. ePrint Arch., 2022)

Spectre Declassified: Reading from the Right Place at the Wrong Time. - Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom (IACR Cryptol. ePrint Arch., 2022)

Typing High-Speed Cryptography against Spectre v1. - Basavesh Ammanaghatta Shivakumar; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Swarn Priya; Peter Schwabe; Lucas Tabary-Maujean (IACR Cryptol. ePrint Arch., 2022)

Breaking and Fixing Speculative Load Hardening. - Zhiyuan Zhang 005; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom (IACR Cryptol. ePrint Arch., 2022)

Ultimate SLH: Taking Speculative Load Hardening to the Next Level. - Zhiyuan Zhang 005; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom (USENIX Security Symposium, 2023)

Formally verifying Kyber Part I: Implementation Correctness. - José Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean-Christophe Léchenet; Tiago Oliveira 004; Hugo Pacheco 001; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2023)

Kyber terminates. - Manuel Barbosa; Peter Schwabe (IACR Cryptol. ePrint Arch., 2023)

On the Practicality of Post-Quantum TLS Using Large-Parameter CSIDH. - Fabio Campos; Jorge Chávez-Saab; Jesús-Javier Chi-Domínguez; Michael Meyer 001; Krijn Reijnders; Francisco Rodríguez-Henríquez; Peter Schwabe; Thom Wiggers (IACR Cryptol. ePrint Arch., 2023)

Swoosh: Practical Lattice-Based Non-Interactive Key Exchange. - Phillip Gajland; Bor de Kock; Miguel Quaresma; Giulio Malavolta; Peter Schwabe (IACR Cryptol. ePrint Arch., 2023)

Formally verifying Kyber Episode IV: Implementation correctness. - José Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean-Christophe Léchenet; Tiago Oliveira 004; Hugo Pacheco 001; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre-Yves Strub (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

SoK: SCA-secure ECC in software - mission impossible? - Lejla Batina; Lukasz Chmielewski; Björn Haase; Niels Samwel; Peter Schwabe (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures. - Gilles Barthe; Marcel Böhme; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Marco Guarnieri; David Mateos Romero; Peter Schwabe; David Wu; Yuval Yarom (CCS, 2024)

They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks. - Jan Jancar; Marcel Fourné; Daniel De Almeida Braga; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre-Alain Fouque; Yasemin Acar (Software Engineering, 2024)

SWOOSH: Efficient Lattice-Based Non-Interactive Key Exchange. - Phillip Gajland; Bor de Kock; Miguel Quaresma; Giulio Malavolta; Peter Schwabe (USENIX Security Symposium, 2024)

X-Wing. - Manuel Barbosa; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan (IACR Commun. Cryptol., 2024)

Optimizations and Practicality of High-Security CSIDH. - Fabio Campos; Jorge Chávez-Saab; Jesús-Javier Chi-Domínguez; Michael Meyer 001; Krijn Reijnders; Francisco Rodríguez-Henríquez; Peter Schwabe; Thom Wiggers (IACR Commun. Cryptol., 2024)

Towards ML-KEM & ML-DSA on OpenTitan. - Amin Abdulrahman; Felix Oberhansl; Hoang Nguyen Hien Pham; Jade Philipoom; Peter Schwabe; Tobias Stelzer; Andreas Zankl (IACR Cryptol. ePrint Arch., 2024)

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. - 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 004; Hugo Pacheco 001; Miguel Quaresma; et al. (IACR Cryptol. ePrint Arch., 2024)

X-Wing: The Hybrid KEM You've Been Looking For. - Manuel Barbosa; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan (IACR Cryptol. ePrint Arch., 2024)

"These results must be false": A usability evaluation of constant-time analysis tools. - Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre-Alain Fouque; Yasemin Acar (IACR Cryptol. ePrint Arch., 2024)

Protecting cryptographic code against Spectre-RSB. - Santiago Arranz-Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang 005 (IACR Cryptol. ePrint Arch., 2024)

High-assurance zeroization. - Santiago Arranz-Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean-Christophe Léchenet; Tiago Oliveira 004; Peter Schwabe (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024)

Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants). - Santiago Arranz-Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang 005 (ASPLOS (2), 2025)

Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. - José Bacelar Almeida; Gustavo Xavier Delerue Marinho Alves; Manuel Barbosa; Gilles Barthe; Luís Esquível; Vincent Hwang; Tiago Oliveira 004; Hugo Pacheco 001; Peter Schwabe; Pierre-Yves Strub (SP, 2025)

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code. - Santiago Arranz-Olmos; Gilles Barthe; Benjamin Grégoire; Jan Jancar; Vincent Laporte; Tiago Oliveira 004; Peter Schwabe (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)

Protecting cryptographic code against Spectre-RSB. - Santiago Arranz-Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang 005 (Zenodo, 2025)

Protecting cryptographic code against Spectre-RSB. - Santiago Arranz-Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang 005 (Zenodo, 2025)