Verification of Cryptographic Protocols

2002 September/2003 October: Master of Computer Science from Max Planck Institut Für Informatik and University of Saarland, Saarbrücken, Germany. Taken courses on Information Retrieval and Data Mining, Computer Architecture, Data Structure and Algorithms, Approximation Algorithms, Randomized Algorithms, Differential Equations in Image Processing and Computer Vision, Security, Selected areas in Cryptography, Theory of Complex Network, Security