Prasad Naldurg is a Researcher in the RSE Group(Rigorous Software Engineering) at Microsoft Research India, Bangalore. He is also an affiliate member of the CSA Group (Cryptography, Security, and Algorithms).

• Formal methods for security, Access control systems, Information flow analysis, Specification and verification of security and privacy policies
• Applied cryptography, Cryptographic protocol analysis
• Tamper detection, Tamper resistance and obfuscation

• Access Control Configuration Analysis
• Attack Prioritization
• Tamper Detection
• SPACE
• Application Firewall Analysis

• Srivatsan Laxman, Prasad Naldurg, Raja Sripada, and Ramarathnam Venkatesan, Connections between mining frequent itemsets and learning generative models, To appear in the Proceedings of the Seventh IEEE International Conference on Data Mining (ICDM), Omaha, Nebraska, USA, Oct 28-31, 2007
• Apu Kapadia, Prasad Naldurg, and Roy H. Campbell, Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall,
  In Proceedings of the Eighth IEEE Workshop on Policies for Distributed Systems and Networks (POLICY '07), pp. 141-150, Bologna, Italy, June 13 - 15, 2007.
• Mariusz Jakubowski, Prasad Naldurg, Vijay Patankar, Ramarathnam Venkatesan,  Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection , In Proceedings of the 9th Information Hiding Symposium (IH 07), St. Malo, France, June 11-13, 2007.
• Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Blagsvedt, and Aditya Hemakumar, SPACE: A Secure Protocol for Address-Book based Connection Establishment,  Fifth ACM Workshop on Hot Topics in Networks (HotNets V), Irvine, California, USA, Nov 29-30, 2006.
• Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, and John Lambert. NETRA: Seeing through access control. In Andrew D. Gordon and David Sands, editors, Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering (FMSE), pages 55–66, Alexandria, USA, November 2006.

 For older publications click here.

• RSE (Rigorous Software Engineering)
• CSA (Cryptography, Security, and Algorithms)