I am interested in theoretical computer science at large, and in particular in
- Foundations of cryptography
- Complexity theory
- Applications of logic in computer science
- Mohammad Hajiabadi
Blackbox Separations of Enhanced and Classical Trapdoor Permutations
- Limitations of Black-Box Constructions in Cryptography. Information Security Group, University College London, February 2017.
- On Generic Constructions of Circularly-Secure, Leakage-Resilient Public-Key Encryption Schemes. PKC 2016, Taipei, Taiwan, March 2016.
- New constructions and applications of KDM-secure schemes. Microsoft Research, Redmond, USA, August 2015.
- Reproducible Circularly-Secure Bit Encryption: Applications and Realizations, Crypto 2015, Santa Barbara, USA, August 2015.
- How encryption with standard security copes under stronger forms of attack, with applications to computational soundness, Stanford Security Seminar, Stanford, USA, December 2013.
- How encryption with standard security copes under stronger forms of attack, with applications to computational soundness, UCSD Theory Seminar, San Diego, USA, December 2013.
- Computational Soundness of Coinductive Symbolic Security under Active Attacks, TCC 2013, Tokyo, Japan, March 2013.
Teaching Experience I have worked as a teaching assistant for a number of courses, including Cryptography, Foundations of Computer Science, Artificial Intelligence, Analysis of Algorithms, Concurrency and Fundamentals of Programming.
Email Address: You can email me at XYZm.email@example.com, removing the first three letters.
Department of Computer Science (Office 6.07)
University College London
London WC1E 6BT
Page Last Updated: January 18, 2017
Return to Top