Arnab Roy PhD Candidate Siebel Scholar 2006 Computer Science Department Stanford University Sept 2004 – current B.Tech. and M.Tech. Computer Science and Engineering Indian Institute of Technology Kharagpur July 1999 – May 2004

I work with Prof. John C. Mitchell on Formal Analysis of Network Security Protocols. I am looking for a research position in industry or academia. My application documents can be found here:

Resume (Jan 2009): [pdf]

Thesis Summary (1 page): [pdf]

Research Statement: [pdf]

Latest News:

Defended my thesis in December 2008: “Formal Proofs of Cryptographic Security of Network Protocols”.

(Not so) Latest News:

Spent the summer interning at Microsoft Research, Redmond (Summer 2008).

Assisted CS155 - Security Analysis of Network Protocols (Spring 2007-08).

Assisted CS259 - Security Analysis of Network Protocols (Winter 2007-08).

Used to co-ordinate the Stanford Security Lunch which takes place every Wednesday noon in a quarter (2006-07).

Assisted CS258 – Introduction to Programming Language Theory (Winter 2006-07).

Research Resume Contact