| Publication | Date of Publication | Type |
|---|
| Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt | 2024-12-04 | Paper |
| Semantic foundations for cost analysis of pipeline-optimized programs | 2023-07-28 | Paper |
| More efficient post-quantum KEMTLS with pre-distributed public keys | 2022-06-15 | Paper |
| Footprint Scheduling for Dining-Cryptographer Networks | 2021-04-07 | Paper |
| Vectorizing Higher-Order Masking | 2020-07-20 | Paper |
| High-Speed Key Encapsulation from NTRU | 2020-06-24 | Paper |
| The complete cost of cofactor \(h=1\) | 2020-05-12 | Paper |
| Memory-efficient high-speed implementation of Kyber on Cortex-M4 | 2020-05-06 | Paper |
| Faster multiplication in \(\mathbb{Z}_{2^m}[x]\) on Cortex-M4 to speed up NIST PQC candidates | 2020-01-30 | Paper |
| Solving binary \(\mathcal {MQ}\) with Grover's algorithm | 2018-10-26 | Paper |
| SOFIA: \(\mathcal{MQ}\)-based signatures in the QROM | 2018-05-29 | Paper |
| Attacking embedded ECC implementations through CMOV side channels | 2018-02-16 | Paper |
| All the AES you need on Cortex-M3 and M4 | 2018-02-16 | Paper |
| NaCl's \texttt{crypto\(\_\)box} in hardware | 2018-02-14 | Paper |
| From 5-Pass $$\mathcal {MQ}$$-Based Identification to $$\mathcal {MQ}$$-Based Signatures | 2017-01-06 | Paper |
| ARMed SPHINCS | 2016-04-13 | Paper |
| High-speed Curve25519 on 8-bit, 16-bit, and 32-bit microcontrollers | 2015-10-26 | Paper |
| SPHINCS: Practical Stateless Hash-Based Signatures | 2015-09-30 | Paper |
| TweetNaCl: A Crypto Library in 100 Tweets | 2015-09-17 | Paper |
| Full-Size High-Security ECC Implementation on MSP430 Microcontrollers | 2015-09-17 | Paper |
| High-Speed Signatures from Standard Lattices | 2015-09-17 | Paper |
| Online Template Attacks | 2015-09-10 | Paper |
| Kummer Strikes Back: New DH Speed Records | 2015-01-16 | Paper |
| PandA: Pairings and Arithmetic | 2014-02-18 | Paper |
| McBits: Fast Constant-Time Code-Based Cryptography | 2013-10-10 | Paper |
| Software Speed Records for Lattice-Based Signatures | 2013-06-14 | Paper |
| NaCl on 8-Bit AVR Microcontrollers | 2013-06-07 | Paper |
| Efficient Vector Implementations of AES-Based Designs: A Case Study and New Implemenations for Grøstl | 2013-03-18 | Paper |
| The Security Impact of a New Cryptographic Library | 2012-09-21 | Paper |
| SHA-3 on ARM11 Processors | 2012-07-23 | Paper |
| High-Speed High-Security Signatures | 2011-10-07 | Paper |
| Really Fast Syndrome-Based Hashing | 2011-06-29 | Paper |
| Faster 2-Regular Information-Set Decoding | 2011-06-08 | Paper |
| On the Correct Use of the Negation Map in the Pollard rho Method | 2011-03-15 | Paper |
| ECC2K-130 on NVIDIA GPUs | 2010-12-07 | Paper |
| New Software Speed Records for Cryptographic Pairings | 2010-08-31 | Paper |
| ECC2K-130 on Cell CPUs | 2010-05-04 | Paper |
| FSBday | 2009-12-17 | Paper |
| Faster and Timing-Attack Resistant AES-GCM | 2009-11-10 | Paper |
| Designing an ASIP for Cryptographic Pairings over Barreto-Naehrig Curves | 2009-11-10 | Paper |
| Fast Elliptic-Curve Cryptography on the Cell Broadband Engine | 2009-07-07 | Paper |
| New AES Software Speed Records | 2009-01-22 | Paper |
| On Compressible Pairings and Their Computation | 2008-06-13 | Paper |
