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

• Formal methods for security, Access control systems, Information flow analysis, Specification and verification of security and privacy policies
• Applied cryptography, Cryptographic protocol analysis
• Software Protection: Tamper detection, Tamper resistance and obfuscation
• Network and Systems security, attack prioritization

• Access Control Configuration Analysis
• Attack Prioritization
• Software Protection: Whiteboxing and Obfuscation
• SPACE
• Network Policy Extraction and Analysis

• Matthias Jacob, Mariusz Jakubowski, Prasad Naldurg, Chit Wei (Nick) Saw, Ramarathnam Venkatesan, The Superdiversifier: Peephole Individualization for Software , To appear in the Third International Workshop on Security (IWSec 08) 
• Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, and Lakhsmisubrahmanyam Velaga, EON: Modeling and  Analyzing Dynamic Access Control Systems with Logic Programs, To appear in the Proceedings of the15th ACM Conference on Computer and Communications Security, Alexandria, USA (CCS 2008),
• Avik Chaudhuri, Prasad Naldurg, and Sriram Rajamani, A Type System for Data-Flow Integrity in Windows Vista, Proceedings of 3rd ACM Workshop on Programming Languages and Analysis for Security (PLAS 08). Also, to appear in ACM SIGPLAN Notices, as one of "the top two papers of PLAS 2008".
• Srivatsan Laxman, Prasad Naldurg, Raja Sripada, and Ramarathnam Venkatesan, /span>Connections between mining frequent itemsets and learning generative models,  In Proceedings of the Seventh IEEE International Conference on Data Mining (ICDM 07, 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 06), pages 55–66, Alexandria, USA, November 2006.

 For older publications click here.

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