P. Naldurg

Most-cited papers

Security-aware ad hoc routing for wireless networks
Yi Seung, P. Naldurg, R. Kravets
2001ACM Interational Symposium on Mobile Ad Hoc Networking and Computing601 citations
Semantic Scholar
Connections between Mining Frequent Itemsets and Learning Generative Models
S. Laxman, P. Naldurg, Raja Sripada, R. Venkatesan
2007Industrial Conference on Data Mining259 citations
Semantic Scholar
Towards Security and Privacy for Pervasive Computing
R. Campbell, J. Al-Muhtadi, P. Naldurg, Geetanjali Sampemane +1 more
2002International Symposium on Systems Synthesis193 citations
Semantic Scholar
A Security-Aware Routing Protocol for Wireless Ad Hoc Networks
Yi Seung, P. Naldurg, R. Kravets
2002130 citations
Semantic Scholar
Access control for Active Spaces
Geetanjali Sampemane, P. Naldurg, R. Campbell
200218th Annual Computer Security Applications Conference, 2002. Proceedings.123 citations Open access
Semantic Scholar
MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications
Maliheh Monshizadeh, P. Naldurg, V. Venkatakrishnan
2014Conference on Computer and Communications Security76 citations
Semantic Scholar
A Temporal Logic Based Framework for Intrusion Detection
P. Naldurg, Koushik Sen, P. Thati
2004Formal Techniques for (Networked and) Distributed Systems57 citations
Semantic Scholar
Seraphim: dynamic interoperable security architecture for active networks
Roy H. Campbell, Zhao-Yu Liu, M. D. Mickunas, P. Naldurg +1 more
20002000 IEEE Third Conference on Open Architectures and Network Programming. Proceedings (Cat. No.00EX401)48 citations
Semantic Scholar
Baaz: A System for Detecting Access Control Misconfigurations
Tathagata Das, Ranjita Bhagwan, P. Naldurg
2010USENIX Security Symposium46 citations
Semantic Scholar
NETRA:: seeing through access control
P. Naldurg, Stefan Schwoon, S. Rajamani, J. Lambert
2006Formal Methods in Security Engineering40 citations
Semantic Scholar
The Superdiversifier: Peephole Individualization for Software Protection
M. Jacob, M. Jakubowski, P. Naldurg, C. Saw +1 more
2008International Workshop on Security31 citations
Semantic Scholar
EON: modeling and analyzing dynamic access control systems with logic programs
A. Chaudhuri, P. Naldurg, S. Rajamani, G. Ramalingam +1 more
2008Conference on Computer and Communications Security28 citations
Semantic Scholar
Dynamic access control: preserving safety and trust for network defense operations
P. Naldurg, R. Campbell
2003ACM Symposium on Access Control Models and Technologies26 citations
Semantic Scholar
A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures
Raquel L. Hill, J. Al-Muhtadi, R. Campbell, Apu Kapadia +2 more
2004IEEE Distributed Syst. Online25 citations Open access
Semantic Scholar
Supporting Dynamically Changing Authorizations in Pervasive Communication Systems
Adam J. Lee, Jodie P. Boyer, Chris Drexelius, P. Naldurg +2 more
2005International Conference on Security in Pervasive Computing21 citations
Semantic Scholar
SEAL: a logic programming framework for specifying and verifying access control models
P. Naldurg, Raghavendra K. R.
2011ACM Symposium on Access Control Models and Technologies20 citations
Semantic Scholar
An agent based architecture for supporting application level security
Zhao-Yu Liu, P. Naldurg, Yi Seung, Qian Tin +2 more
2000Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'0019 citations
Semantic Scholar
Efficient Secure k-Nearest Neighbours over Encrypted Data
M. Kesarwani, Akshar Kaul, P. Naldurg, Sikhar Patranabis +3 more
2018International Conference on Extending Database Technology18 citations
Semantic Scholar
A type system for data-flow integrity on windows vista
A. Chaudhuri, P. Naldurg, S. Rajamani
2008ACM Workshop on Programming Languages and Analysis for Security18 citations Open access
Semantic Scholar
Developing dynamic security policies
P. Naldurg, R. Campbell, M. D. Mickunas
2002Proceedings DARPA Active Networks Conference and Exposition17 citations
Semantic Scholar
Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS
K. Bhargavan, B. Beurdouche, P. Naldurg
201915 citations
Semantic Scholar
Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection
M. Jakubowski, P. Naldurg, Vijay M. Patankar, R. Venkatesan
2007Information Hiding12 citations
Semantic Scholar
Integrating Quality of Protection into Ad Hoc Routing Protocols
Yi Seung, P. Naldurg, R. Kravets
200212 citations
Semantic Scholar
Pattern Mining for Future Attacks
Sandeep Karanth, S. Laxman, P. Naldurg, R. Venkatesan +2 more
200911 citations
Semantic Scholar
Verito: A Practical System for Transparency and Accountability in Virtual Economies
Raghav Bhaskar, S. Guha, S. Laxman, P. Naldurg
2013Network and Distributed System Security Symposium9 citations
Semantic Scholar
ZDVUE: prioritization of javascript attacks to discover new vulnerabilities
Sandeep Karanth, S. Laxman, P. Naldurg, R. Venkatesan +2 more
2011Security and Artificial Intelligence9 citations
Semantic Scholar
PLUGGABLE ACTIVE SECURITY FOR ACTIVE NETWORKS
Zhao-Yu Liu, P. Naldurg, Yi Seung, R. Campbell +1 more
20049 citations
Semantic Scholar
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Y. Gurevich +2 more
2013Engineering Secure Software and Systems8 citations
Semantic Scholar
Attack-based Domain Transition Analysis
S. Hinrichs, P. Naldurg
20068 citations
Semantic Scholar
Analysis of Two Token-Based Authentication Schemes for Mobile Banking
S. Panjwani, P. Naldurg, Raghav Bhaskar
20106 citations
Semantic Scholar
Seraphim: An Active Security Architecture for Active Networks
R. Campbell, Zhao-Yu Liu, M. D. Mickuans, P. Naldurg +1 more
19996 citations
Semantic Scholar
Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall
Apu Kapadia, P. Naldurg, R. Campbell
2007IEEE International Symposium on Policies for Distributed Systems and Networks5 citations Open access
Semantic Scholar
Routing with confidence: supporting discretionary routing requirements in policy based networks
Apu Kapadia, P. Naldurg, R. Campbell
2004Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004.5 citations
Semantic Scholar
Patching Logic Vulnerabilities for Web Applications using LogicPatcher
Maliheh Monshizadeh, P. Naldurg, V. Venkatakrishnan
2016Conference on Data and Application Security and Privacy4 citations Open access
Semantic Scholar
EON: Modeling and Analyzing Access Control Systems with Logic Programs
A. Chaudhuri, P. Naldurg, G. Ramalingam, S. Rajamani +1 more
20084 citations
Semantic Scholar
SPACE: Secure Protocol for Address Book based Connection Establishment
Ganesh Ananthanarayanan, R. Venkatesan, P. Naldurg, S. Blagsvedt +1 more
2006ACM Workshop on Hot Topics in Networks4 citations
Semantic Scholar
Routing with Confidence: A Model for Trustworthy Communication
Apu Kapadia, P. Naldurg, R. Campbell
20064 citations
Semantic Scholar
Modeling insecurity: policy engineering for survivability
P. Naldurg, R. Campbell
2003SSRS '034 citations
Semantic Scholar
Flexible Secure Multicasting in Active Networks
Zhao-Yu Liu, R. Campbell, S. Varadarajan, P. Naldurg +2 more
1999ICDCS Workshop on Group Communications and Computations4 citations
Semantic Scholar
Socializing in the Mist : Privacy in Digital Communities
J. Al-Muhtadi, R. Campbell, Apu Kapadia, M. D. Mickunas +1 more
4 citations
Semantic Scholar
Primal Infon Logic: Derivability in Polynomial Time
A. Baskar, P. Naldurg, K. Raghavendra, S. Suresh
2013Foundations of Software Technology and Theoretical Computer Science3 citations
Semantic Scholar
Understanding policy intent and misconfigurations from implementations: Consistency and Convergence
P. Naldurg, Ranjita Bhagwan
2011USENIX Conference on File and Storage Technologies3 citations
Semantic Scholar
A type system for data-flow integrity on Windows Vista
A. Chaudhuri, P. Naldurg, S. Rajamani
2009SIGP3 citations Open access
Semantic Scholar
Distributed Enforcement of Unlinkability Policies : Looking Beyond the Chinese Wall Apu Kapadia ∗ Institute for Security Technology Studies ( ISTS ) Dartmouth College
P. Naldurg, Roy H. Campbell
20061 citations
Semantic Scholar
Unlinkability through Access Control: Respecting User-Privacy in Distributed Systems
Apu Kapadia, P. Naldurg, R. Campbell
20051 citations
Semantic Scholar
Practical Formal Methods for Real World Cryptography (Invited Talk)
K. Bhargavan, P. Naldurg
2019Foundations of Software Technology and Theoretical Computer Science0 citations
Semantic Scholar
Practical Formal Methods for Real World Cryptography
K. Bhargavan, P. Naldurg
20190 citations
Semantic Scholar
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
P. Naldurg, Nikhil Swamy
2013ACM-SIGPLAN Symposium on Programming Language Design and Implementation0 citations
Semantic Scholar
Session details: Keynote address
P. Naldurg
2013Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security0 citations
Semantic Scholar
Foundations of Dynamic Access Control
P. Naldurg
2012International Conferences on Information Science and System0 citations
Semantic Scholar