About Me
Hi! I joined the VUSec research group at the Vrije Universiteit Amsterdam back in 2021. My advisors are prof. dr. ir. Herbert Bos, and my co-supervisors are dr. Cristiano Giuffrida, dr. Erik van der Kouwe, Balakrishnan Chandrasekaran, and dr. Klaus von Gleissenthall.
The projects I have worked on aim to combine security with formal verification extensively working with tools like F*/Low* and LLVM. Besides that I have taught courses on binary and malware analysis, and supervised multiple Master’s and Bachelor’s students. I also volunteer at the Vrije Universiteit Amsterdam as a licensed first aider/responder and rapid incident responder (firefighter with SCBA).
I received my joint Master’s degree in Computer Science from the Vrije Universiteit Amsterdam and the Universiteit van Amsterdam (cum laude). I followed the Computer Systems Security track, and graduated on a project about defining a formal semantics for P4. Before that I did my Bachelor’s degree in Computer Science at the Universiteit van Amsterdam (also cum laude), where I graduated on a project on Segment Routing. I was also fortunate enough to have gone on an academic exchange to 慶應義塾大学 (Keio University) in Tokyo during my Bachelor’s degree.
Topics that interest me a lot are security, hardware, preferably with a twist of formal methods; I like looking at how things can be (prevented from being) broken or fixed, and ideally also proving why that is the case. I also love (spoken) languages, cooking & baking, blacksmithing, and skiing (other snow-involving sports are tolerated).
Contact Details
| Email Address | |
| JohannesBlaser | |
| @Johanmyst | |
| Office | NU-11A07 |
| Office Hours | Typically Monday to Friday, 09:30 to 19:00 |
| Mail Address | drs. Johannes Blaser VUSec Research Group Department of Computer Science Faculty of Science (BETA) Vrije Universiteit (VU) Amsterdam De Boelelaan 1111 1081 HV Amsterdam The Netherlands |
OpenPGP (GPG) Key
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQGNBGUlEy4BDADMl3ZLdwaAsxtBhZr28Qeb8pViFLuQvG19fLuWGNCvu+1Bl5kn
W+RvBz7Ah2GBey/cB1EnNmdUxqu6oDGo26+/flfcIAWv0ngBN5IHtQCIaRoAJJa2
OwbBIKgXiZWey9NBZG/1R88BeixYCTuFBB1XM/dmrP/oZu2F9czYru/t6LHgT6Hq
o6rMHMBI0al7xiQ8snucthDIRwUniBWG1nR8rtluZniXv7zIBIVpIqeWYtK0jHuF
jydbVq/MV9vWwWzSAP11/RgMlOSkLahRTTutLTqyRflNJbsJE2SCaOkQNAIF2vZ/
+6v0vaei2x1jPXxe1vm2Oj9B6oPsp2eCcT9yWYCB//IqYeso2k9RTp7Dql+3whbb
pL7fxob2mTuyuIyVYhV1C5koma2xYBuGaWf6Y91ei0ENlu89LcRMMvViwmh0eH9s
ooIROSS+N2ORndXXCv/iMTz5uODhnbAEj8swVSxS9wfgbhGh7cN1UVb59fx/t+fz
F+gPsEXXs8zRbikAEQEAAbQgSm9oYW5uZXMgQmxhc2VyIDxKLkJsYXNlckB2dS5u
bD6JAc4EEwEIADgWIQRhDLZc1bBPc/1E10LAmsbc4KSJOgUCZSUTLgIbAwULCQgH
AgYVCgkICwIEFgIDAQIeAQIXgAAKCRDAmsbc4KSJOkljDADHTnn9fjTuwNcbZGWR
33YKvt0JySgKFEtiMGadPNF3Rx9y9OcaEVm05FQj0Cb0QhA8KR5FWcgnNNJwCVIw
gw5XGwq/qTISBfdXH73Cl41nG9vnGF0DpzPTvENr3egADqZEQ2MS4Tr4VIvEBkP5
UAOlTXa/4my/nmstxnZH8R8H6cl0WJ/Rz4baVLiM5u2lBDvjzVLrc7hUhgoy4NWx
KMBj7WhxbTaqqdr1jsNzyd+QkCheXNIraXog/hP1FbRI+Vu3UKaA0qmyEPTaRaPP
F1rPhWcD4QmAbd49eBmYjOjogaz07w7FDKL6SA+P2CkIAlTbEeSOGpgrMnEK73FE
PxnXupzTD6Cuge1Kj1IEFC3d03237dFW06KSKBmDC+kYlBwgu9QMtEr6EIJCFLoV
8PxxSpPiAzp+sTB6s5Gx748cm4tmCEWNcbu6aiJPQ5PvLrmqKKf8Fm0E9eTD08vr
b984HbtXigcQfCzw/f83vsSg5JBvCSFZxlbncRzDs+Ce//m5AY0EZSUTLgEMAMSF
HT0pgwXnj7IJ5zJaPD+4W/Ot214j9oORahjY0WgZagMhJpjdYXefdGwYk6eevVer
CID5mtvmpzKJuiHjcQdkjq7EFuZQSdjS7xtVmLuCWhNjY3B2m5CuD+6Vs+qBU5Xq
doE+Tz9pJKOrRAiqqKazpE3fwY9skxRh+GWhMt/z0NcFFIjdD5PZYGjgMiqlDNYt
ReROfPpCeorJVJS1xDhahdT+HAzSv0bODGBNu6LwroIPkYXr7OC6WKUW18CAX+5l
2p0fHJdSRQRHTwbl+E6WMqTGQT2k5W1mbJ6Kpi+IF/FXt//IIwe1GdesNNp2iykD
cMIyTa6bttXqa4VrKJX8J2us6lqCUh8HrW7ye4pUeIA6oW9CJe+zGeEAgQyLoqzb
me2Gp68Zf5TevHEFbH7apRMBVMFxyiYYM9IquXlBtEVzCugJDPeBcaLxcU36FeD1
7h5L/5aaS838AuTk5QMQj6rGxuHAfU20Fs3dUlzn1yXYdbCsMXjOjGySV8b+gwAR
AQABiQG2BBgBCAAgFiEEYQy2XNWwT3P9RNdCwJrG3OCkiToFAmUlEy4CGwwACgkQ
wJrG3OCkiToS0Av+JwrSNlLPITrwILmliNTpGjp094CiUdC5vBTfm1HCt1fgVn1K
WPIIcAn5zjq33fmtFquE6B7WIofctF+GkkFiDZrugoKQJpeRz8Iph1fp29wVaNI3
FaXvOrdM5oByFi9Og0P6G7QH1GecNsb8FOmZuKXyx+hYkSFC4+iL0btsassfJYGT
09tutTmDers/TWQwkqHsb6ol5mMXnJWPmPtK+jJtilUc53PElDvXDttNMSs2Ou2Q
jYqXLAkXydqJ9CW5I8xhXh5CFvdeLNaUhY6OvPakOx1vCm9Mod/fHcx1GOBCbHZ/
L42t4EJr51r6vYgyZABTjw1/4UxD2ojm/GEv0aBJ/hwTeNOk5T/1rvwaZ5J2Tjgy
RqIhEzcy8zt0YsZPwkC8mekpmgJkqVwLTxUj2t7LYRT8Yc4bl/mX7+NImB+dGRpD
ujnHLQe1bSDSkdpQk+fmL0HCNpEMWTNlRVtgo7g7vcWRzk4sb1BYGO971Gpdx7sH
CKsIBs6u7xil1WWs
=x4I9
-----END PGP PUBLIC KEY BLOCK-----