fdupress

user stats

Member SinceJuly 1, 2009
Last VisitOctober 1, 2015

Contact

editor for

VCC

fdupress

personal statement

I am a Microsoft Research Ph.D. scholar, working on verifying implementations of security protocols in C. I focus on using general purpose verification tools for C, and convince them to work with cryptography. For more information, please have a look at http://www.fdupress.net/

activity stream

No activity in the last 60 days.

projects i'm following

VCC

forks

No forks.