Moritz Buhl
Links
blog/
code/
cv.pdf
bsd.network
About
Alumnus at University of Munich (LMU),
Student at Technical University of Munich (TUM),
likes OpenBSD, C, formal verification, infosec