Publications

(2022). A tale of two models: formalizing KEMTLS in Tamarin. Formalizing KEMTLS in Tamarin.

Project

(2021). Implementing and Measuring KEMTLS. Latincrypt 2021.

Preprint PDF Cite Project DOI

(2021). Practically Solving LPN. IEEE ISIT 2021.

Preprint PDF Cite Code Dataset

(2021). Verifying Post Quantum Signatures in 8kB of RAM. PQCrypto 2021.

Preprint PDF Cite

(2018). Solving LPN using Large Covering Codes. Master’s thesis.

PDF Cite

(2015). Implementing CAESAR candidate Prøst on ARM11. Student Undergraduate Research E-Journal!, Volume 1.

Preprint PDF Cite Project Poster

(2015). Implementing Prøst on ARM11. Bachelor’s thesis.

PDF Cite Project Slides DOI