Thom Wiggers

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 23

Top Topics

Formal Verification

Quantum Computation

Software Development Projects

Software Quality

Top Venues

IACR Cryptol. ePrint Arch.

EuroS&P Workshops

Publications

Fabio Campos, Jorge Chávez-Saab, Jesús-Javier Chi-Domínguez, Michael Meyer, Krijn Reijnders, Francisco Rodríguez-Henríquez, Peter Schwabe, Thom Wiggers
Optimizations and Practicality of High-Security CSIDH. IACR Commun. Cryptol. 1 (1) (2024)
Dimitri Mankowski, Thom Wiggers, Veelasha Moonsamy
TLS â' Post-Quantum TLS: Inspecting the TLS landscape for PQC adoption on Android. IACR Cryptol. ePrint Arch. 2023 (2023)
Dimitri Mankowski, Thom Wiggers, Veelasha Moonsamy
TLS → Post-Quantum TLS: Inspecting the TLS landscape for PQC adoption on Android. EuroS&P Workshops (2023)
Fabio Campos, Jorge Chávez-Saab, Jesús-Javier Chi-Domínguez, Michael Meyer, Krijn Reijnders, Francisco Rodríguez-Henríquez, Peter Schwabe, Thom Wiggers
On the Practicality of Post-Quantum TLS Using Large-Parameter CSIDH. IACR Cryptol. ePrint Arch. 2023 (2023)
Matthias J. Kannwischer, Peter Schwabe, Douglas Stebila, Thom Wiggers
Improving Software Quality in Cryptography Standardization Projects. EuroS&P Workshops (2022)
Ruben Gonzalez, Thom Wiggers
KEMTLS vs. Post-quantum TLS: Performance on Embedded Systems. SPACE (2022)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. ESORICS (3) (2022)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A tale of two models: formal verification of KEMTLS via Tamarin. IACR Cryptol. ePrint Arch. 2022 (2022)
Ruben Gonzalez, Thom Wiggers
KEMTLS vs. Post-Quantum TLS: Performance On Embedded Systems. IACR Cryptol. ePrint Arch. 2022 (2022)
Matthias J. Kannwischer, Peter Schwabe, Douglas Stebila, Thom Wiggers
Improving Software Quality in Cryptography Standardization Projects. IACR Cryptol. ePrint Arch. 2022 (2022)
Felix Günther, Simon Rastikian, Patrick Towa, Thom Wiggers
KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip. ACNS (2022)
Peter Schwabe, Douglas Stebila, Thom Wiggers
More Efficient Post-quantum KEMTLS with Pre-distributed Public Keys. ESORICS (1) (2021)
Peter Schwabe, Douglas Stebila, Thom Wiggers
More efficient post-quantum KEMTLS with pre-distributed public keys. IACR Cryptol. ePrint Arch. 2021 (2021)
Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Implementing and Measuring KEMTLS. LATINCRYPT (2021)
Thom Wiggers, Simona Samardjiska
Practically Solving LPN. ISIT (2021)
Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang
Verifying Post-Quantum Signatures in 8 kB of RAM. PQCrypto (2021)
Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Implementing and Measuring KEMTLS. IACR Cryptol. ePrint Arch. 2021 (2021)
Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang
Verifying Post-Quantum Signatures in 8 kB of RAM. IACR Cryptol. ePrint Arch. 2021 (2021)
Thom Wiggers, Simona Samardjiska
Practically Solving LPN. IACR Cryptol. ePrint Arch. 2021 (2021)
Peter Schwabe, Douglas Stebila, Thom Wiggers
Post-Quantum TLS Without Handshake Signatures. CCS (2020)
Peter Schwabe, Douglas Stebila, Thom Wiggers
Post-quantum TLS without handshake signatures. IACR Cryptol. ePrint Arch. 2020 (2020)
Thom Wiggers
Energy-Efficient ARM64 Cluster with Cryptanalytic Applications: 80 Cores That Do Not Cost You an ARM and a Leg. IACR Cryptol. ePrint Arch. 2018 (2018)
Thom Wiggers
Energy-Efficient ARM64 Cluster with Cryptanalytic Applications - 80 Cores That Do Not Cost You an ARM and a Leg. LATINCRYPT (2017)