Thom Wiggers

Thom Wiggers

PhD candidate at Radboud University

Radboud University

Biography

Thom Wiggers is a PhD Candidate at the Institute of Computing and Information Sciences, Radboud University in The Netherlands. He is working on the interactions of post-quantum cryptography with protocols, under the supervision of Peter Schwabe.

Interests
  • Cryptography
  • Post-Quantum Cryptography
  • Protocols
  • Information Security
Education

  • MSc in Computing Science, 2018

    Radboud University Nijmegen

  • BSc in Computing Science (Informatica), 2015

    Radboud University Nijmegen

  • BSc in Information Sciences (Informatiekunde), 2015

    Radboud University Nijmegen

Recent Posts

hxp 2022 (2023) CTF writeup
After I found myself in a vacation rental with Bas and Joost, we thought it would be fun to have a go at a few of hxp’s 2022 2023 ctf challenges as team #RU (long story relating to Radboud University).
Thom Wiggers
Last updated on 2023-03-14 7 min read
LaTeX Tips and Tricks
After a discussion on twitter I decided I should write down a few of the tips and tricks I’ve learnt over the years of writing papers and many other things in LaTeX.
Thom Wiggers
Last updated on 2022-10-04 9 min read
LaTeX Tips and Tricks
See all posts

Recent & Upcoming Talks

Invited Lecture: TLS and Post-Quantum (Applied Cryptography, Radboud University)
Invited lecture about TLS, its history and making TLS post quantum. I also discuss KEMTLS.
2022-06-01 10:30 — 12:15 HG00.062
Thom Wiggers
Slides
See all events

Recent Publications

KEMTLS vs. Post-Quantum TLS: Performance on Embedded Systems
We investigate the performance of KEMTLS and PQ instantiations of TLS 1.3 on embedded devices.
Ruben Gonzalez, Thom Wiggers
PDF Cite Project Slides DOI
A tale of two models: formal verification of KEMTLS in Tamarin
We prove the security of KEMTLS in two Tamarin models. One mode is based on the Cremers et al. model of TLS 1.3; the other closely resembles our pen-and-paper proofs. These models allow us to analyse KEMTLS, and its extension KEMTLS-PDK from different angles.
Sofía Celi , Jonathan Hoyland, Douglas Stebila , Thom Wiggers
PDF Cite Project DOI
See all publications

Teaching

I have been involved as a teaching assistant in the following courses:

  • Functional Programming (2013-2017)
  • Operating Systems (2014-2017)
  • Object-Oriented Programming for Science students (2015)
  • Operating Systems Security (2016, 2017)
  • Hacking in C (2018, 2019)

See the teaching pages for course materials.

Contact

  • [email protected]
  • Toernooiveld 212
    6525 EC Nijmgen
    The Netherlands
  • Room 3.11b if I’m at the office
  • Working from home