Prasad Naldurg

According to our database, Prasad Naldurg authored at least 31 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Practical Formal Methods for Real World Cryptography (Invited Talk).

Karthikeyan Bhargavan, Prasad Naldurg

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

Efficient Secure k-Nearest Neighbours over Encrypted Data.

Manish Kesarwani, Akshar Kaul, Prasad Naldurg, Sikhar Patranabis, Gagandeep Singh, Sameep Mehta, Debdeep Mukhopadhyay

Proceedings of the 21st International Conference on Extending Database Technology, 2018

2016

Patching Logic Vulnerabilities for Web Applications using LogicPatcher.

Maliheh Monshizadeh, Prasad Naldurg, V. N. Venkatakrishnan

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2014

MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications.

Maliheh Monshizadeh, Prasad Naldurg, V. N. Venkatakrishnan

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Verito: A Practical System for Transparency and Accountability in Virtual Economies.

Raghav Bhaskar, Saikat Guha, Srivatsan Laxman, Prasad Naldurg

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Primal Infon Logic: Derivability in Polynomial Time.

Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.

Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Foundations of Dynamic Access Control.

Prasad Naldurg

Proceedings of the Information Systems Security, 8th International Conference, 2012

2011

SEAL: a logic programming framework for specifying and verifying access control models.

Prasad Naldurg, K. R. Raghavendra

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

ZDVUE: prioritization of javascript attacks to discover new vulnerabilities.

Sandeep Karanth, Srivatsan Laxman, Prasad Naldurg, Ramarathnam Venkatesan, John Lambert, Jinwook Shin

Proceedings of the 4th ACM Workshop on Security and Artificial Intelligence, 2011

2010

Baaz: A System for Detecting Access Control Misconfigurations.

Tathagata Das, Ranjita Bhagwan, Prasad Naldurg

Proceedings of the 19th USENIX Security Symposium, 2010

2008

A type system for data-flow integrity on Windows Vista.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani

ACM SIGPLAN Notices, 2008

The Superdiversifier: Peephole Individualization for Software Protection.

Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan

Proceedings of the Advances in Information and Computer Security, 2008

EON: modeling and analyzing dynamic access control systems with logic programs.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall.

Apu Kapadia, Prasad Naldurg, Roy H. Campbell

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection.

Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patankar, Ramarathnam Venkatesan

Proceedings of the Information Hiding, 9th International Workshop, 2007

Connections between Mining Frequent Itemsets and Learning Generative Models.

Srivatsan Laxman, Prasad Naldurg, Raja Sripada, Ramarathnam Venkatesan

Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), 2007

2006

SPACE: Secure Protocol for Address Book based Connection Establishment.

Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Olin Blagsvedt, Adithya Hemakumar

Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

<i>NETRA</i>: : seeing through access control.

Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005

Supporting Dynamically Changing Authorizations in Pervasive Communication Systems.

Adam J. Lee, Jodie P. Boyer, Chris Drexelius, Prasad Naldurg, Raquel L. Hill, Roy H. Campbell

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

2004

Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies

Prasad Naldurg

PhD thesis, 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

Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks.

Apu Kapadia, Prasad Naldurg, Roy H. Campbell

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

A Temporal Logic Based Framework for Intrusion Detection.

Prasad Naldurg, Koushik Sen, Prasanna Thati

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Dynamic access control: preserving safety and trust for network defense operations.

Prasad Naldurg, Roy H. Campbell

Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, 2003

Modeling insecurity: policy engineering for survivability.

Prasad Naldurg, Roy H. Campbell

Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

2002

Towards Security and Privacy for Pervasive Computing.

Roy H. Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane, M. Dennis Mickunas

Proceedings of the Software Security -- Theories and Systems, 2002

Developing Dynamic Security Policies.

Prasad Naldurg, Roy H. Campbell, M. Dennis Mickunas

Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

Access Control for Active Spaces.

Geetanjali Sampemane, Prasad Naldurg, Roy H. Campbell

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2001

Security-aware ad hoc routing for wireless networks.

Seung Yi, Prasad Naldurg, Robin Kravets

Proceedings of the 2nd ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2001

2000

Flexible Secure Multicasting in Active Networks.

Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000