Doctoral candidate at Eindhoven University of Technology (TU/e). Primarily focused on the formal verification of (post-quantum) cryptography in @EasyCrypt.
- Eindhoven
-
12:36
(UTC +01:00) - https://mmeijers.com/
- https://orcid.org/0000-0002-5351-991X