Arnab Roy

 

 

Hi Everyone! Welcome to my incredibly interesting homepage.

Now that you have read till this line I am sure you will want to know that I am a PhD candidate at the Stanford University Computer Science Department. That’s not all - Before joining here I spent a few wonderful years at IIT Kharagpur. And that’s not all – Before that I spent lots of years in high school! And this does it – Before that I spent a few years at home!!

OK! Party over – now to serious stuff.

No seriously! This is not a rumor - I am working with Prof. John C. Mitchell on logical analysis of cryptographic protocols.

 

 

Latest News:

*      I am CA’ing CS259 - Security Analysis of Network Protocols (Winter 2007-08)

 

(Not so) Latest News:

*      I used to co-ordinate the Stanford Security Lunch which takes place every Wednesday noon in a quarter. Elizabeth Stinson has taken over this year (2007-08).

*      I assisted CS258 – Introduction to Programming Language Theory (Winter 2006-07).

 

 

 

Research

 

Resume

 

Contact