The cluster Discrete Mathematics is interested in all mathematical problems of a discrete nature
Meet some of our researchers
Project Related Publications
Our most recent peer reviewed publications
-
Cryptanalysis of Strong Physically Unclonable Functions
IEEE Open Journal of the Solid-State Circuits Society (2023) -
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
(2023) -
Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
(2023) -
Recovering the Tight Security Proof of SPHINCS+
(2023) -
A geometric characterization of the symplectic Lie algebra
Innovations in Incidence Geometry (2023)
Contact
-
Visiting address
MFPostbus 5135600MB EindhovenNetherlands -
Visiting address
MFPostbus 5135600MB EindhovenNetherlands -
Secretarysecdm@ tue.nl