Flexible Secure Multicasting in Active Networks. - Zhaoyu Liu; Roy H. Campbell; Sudha K. Varadarjan; Prasad Naldurg; Seung Yi; M. Dennis Mickunas (ICDCS Workshop on Group Communications and Computations, 2000)

Security-aware ad hoc routing for wireless networks. - Seung Yi; Prasad Naldurg; Robin Kravets (MobiHoc, 2001)

Access Control for Active Spaces. - Geetanjali Sampemane; Prasad Naldurg; Roy H. Campbell (ACSAC, 2002)

Developing Dynamic Security Policies. - Prasad Naldurg; Roy H. Campbell; M. Dennis Mickunas (DANCE, 2002)

Towards Security and Privacy for Pervasive Computing. - Roy H. Campbell; Jalal Al-Muhtadi; Prasad Naldurg; Geetanjali Sampemane; M. Dennis Mickunas (ISSS, 2002)

Modeling insecurity: policy engineering for survivability. - Prasad Naldurg; Roy H. Campbell (SSRS@CCS, 2003)

Dynamic access control: preserving safety and trust for network defense operations. - Prasad Naldurg; Roy H. Campbell (SACMAT, 2003)

A Temporal Logic Based Framework for Intrusion Detection. - Prasad Naldurg; Koushik Sen; Prasanna Thati (FORTE, 2004)

Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks. - Apu Kapadia; Prasad Naldurg; Roy H. Campbell (POLICY, 2004)

A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures. - Raquel L. Hill; Jalal Al-Muhtadi; Roy H. Campbell; Apu Kapadia; Prasad Naldurg; Anand Ranganathan (IEEE Distributed Syst. Online, 2004)

Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies - Prasad Naldurg (2004)

Supporting Dynamically Changing Authorizations in Pervasive Communication Systems. - Adam J. Lee; Jodie P. Boyer; Chris Drexelius; Prasad Naldurg; Raquel L. Hill; Roy H. Campbell (SPC, 2005)

NETRA: : seeing through access control. - Prasad Naldurg; Stefan Schwoon; Sriram K. Rajamani; John Lambert (FMSE, 2006)

SPACE: Secure Protocol for Address Book based Connection Establishment. - Ganesh Ananthanarayanan; Ramarathnam Venkatesan; Prasad Naldurg; Sean Olin Blagsvedt; Adithya Hemakumar (HotNets, 2006)

Connections between Mining Frequent Itemsets and Learning Generative Models. - Srivatsan Laxman; Prasad Naldurg; Raja Sripada; Ramarathnam Venkatesan (ICDM, 2007)

Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection. - Mariusz H. Jakubowski; Prasad Naldurg; Vijay Patankar; Ramarathnam Venkatesan (Information Hiding, 2007)

Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall. - Apu Kapadia; Prasad Naldurg; Roy H. Campbell (POLICY, 2007)

EON: modeling and analyzing dynamic access control systems with logic programs. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani; G. Ramalingam; Lakshmisubrahmanyam Velaga (CCS, 2008)

The Superdiversifier: Peephole Individualization for Software Protection. - Matthias Jacob; Mariusz H. Jakubowski; Prasad Naldurg; Chit Wei Saw; Ramarathnam Venkatesan (IWSEC, 2008)

A type system for data-flow integrity on windows vista. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani (PLAS, 2008)

Baaz: A System for Detecting Access Control Misconfigurations. - Tathagata Das; Ranjita Bhagwan; Prasad Naldurg (USENIX Security Symposium, 2010)

ZDVUE: prioritization of javascript attacks to discover new vulnerabilities. - Sandeep Karanth; Srivatsan Laxman; Prasad Naldurg; Ramarathnam Venkatesan; John Lambert; Jinwook Shin (AISec, 2011)

SEAL: a logic programming framework for specifying and verifying access control models. - Prasad Naldurg; K. R. Raghavendra (SACMAT, 2011)

Foundations of Dynamic Access Control. - Prasad Naldurg (ICISS, 2012)

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. - Jean-Baptiste Jeannin; Guido de Caso; Juan Chen 002; Yuri Gurevich; Prasad Naldurg; Nikhil Swamy (ESSoS, 2013)

Primal Infon Logic: Derivability in Polynomial Time. - Anguraj Baskar; Prasad Naldurg; K. R. Raghavendra; S. P. Suresh (FSTTCS, 2013)

Verito: A Practical System for Transparency and Accountability in Virtual Economies. - Raghav Bhaskar; Saikat Guha; Srivatsan Laxman; Prasad Naldurg (NDSS, 2013)

MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications. - Maliheh Monshizadeh; Prasad Naldurg; V. N. Venkatakrishnan (CCS, 2014)

Patching Logic Vulnerabilities for Web Applications using LogicPatcher. - Maliheh Monshizadeh; Prasad Naldurg; V. N. Venkatakrishnan (CODASPY, 2016)

Efficient Secure k-Nearest Neighbours over Encrypted Data. - Manish Kesarwani; Akshar Kaul; Prasad Naldurg; Sikhar Patranabis; Gagandeep Singh; Sameep Mehta; Debdeep Mukhopadhyay (EDBT, 2018)

Practical Formal Methods for Real World Cryptography (Invited Talk). - Karthikeyan Bhargavan; Prasad Naldurg (FSTTCS, 2019)