Doctoral candidate at Eindhoven University of Technology (TU/e). Primarily focused on the formal verification of (post-quantum) cryptography in @EasyCrypt.
- Eindhoven
-
04:07
(UTC +01:00) - https://mmeijers.com/
- https://orcid.org/0000-0002-5351-991X
Search results
0 open and 0 closed projects found.-
There aren't any projects yet