maxvonhippel avatar
Active user
1 year ago by invitation from mudge
1, averaging 0.50 per story/comment

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.