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/