maxvonhippel

maxvonhippel avatar
Active user
11 months ago by invitation from mudge
1, averaging 0.50 per story/comment
0
2
https://mxvh.pl/resume/
https://github.com/maxvonhippel
@maxvonhippel

I am a PhD student in computer science at Northeastern University, advised by Dr. Cristina Nita-Rotaru. I mostly study protocol security, using a blend of formal methods and other techniques. I’m particularly interested in the automatic discovery, and especially synthesis, of attacks against protocols and systems. In my free time, I organize the Boston Computation Club, a small graduate seminar group in pure math and computer science.