Prasad Naldurg

33 papers A* 5A 1B 2C 3Misc 3Journal 3Unranked 14

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Practical Formal Methods for Real World Cryptography (Invited Talk). FSTTCS Karthikeyan Bhargavan, Prasad Naldurg
2018	B	`conf`	Efficient Secure k-Nearest Neighbours over Encrypted Data. EDBT Manish Kesarwani, Akshar Kaul, Prasad Naldurg, Sikhar Patranabis, Gagandeep Singh, Sameep Mehta, Debdeep Mukhopadhyay
2016	—	`conf`	Patching Logic Vulnerabilities for Web Applications using LogicPatcher. CODASPY Maliheh Monshizadeh, Prasad Naldurg, V. N. Venkatakrishnan
2014	A*	`conf`	MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications. CCS Maliheh Monshizadeh, Prasad Naldurg, V. N. Venkatakrishnan
2013	—	`conf`	Primal Infon Logic: Derivability in Polynomial Time. FSTTCS Anguraj Baskar, Prasad Naldurg, K. R. Raghavendra, S. P. Suresh
2013	—	`ed.`	Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013 PLAS Prasad Naldurg, Nikhil Swamy
2013	A*	`conf`	Verito: A Practical System for Transparency and Accountability in Virtual Economies. NDSS Raghav Bhaskar, Saikat Guha, Srivatsan Laxman, Prasad Naldurg
2013	—	`conf`	dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy
2012	Misc	`conf`	Foundations of Dynamic Access Control. ICISS Prasad Naldurg
2011	C	`conf`	SEAL: a logic programming framework for specifying and verifying access control models. SACMAT Prasad Naldurg, K. R. Raghavendra
2011	—	`conf`	ZDVUE: prioritization of javascript attacks to discover new vulnerabilities. AISec Sandeep Karanth, Srivatsan Laxman, Prasad Naldurg, Ramarathnam Venkatesan, John Lambert, Jinwook Shin
2010	A*	`conf`	Baaz: A System for Detecting Access Control Misconfigurations. USENIX Security Symposium Tathagata Das, Ranjita Bhagwan, Prasad Naldurg
2008	J	`jnl`	A Type System for Data-Flow Integrity on Windows Vista CoRR Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	J	`jnl`	A type system for data-flow integrity on Windows Vista. ACM SIGPLAN Notices Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	—	`conf`	A type system for data-flow integrity on windows vista. PLAS Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
2008	A*	`conf`	EON: modeling and analyzing dynamic access control systems with logic programs. CCS Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
2008	Misc	`conf`	The Superdiversifier: Peephole Individualization for Software Protection. IWSEC Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan
2007	A*	`conf`	Connections between Mining Frequent Itemsets and Learning Generative Models. ICDM Srivatsan Laxman, Prasad Naldurg, Raja Sripada, Ramarathnam Venkatesan
2007	—	`conf`	Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall. POLICY Apu Kapadia, Prasad Naldurg, Roy H. Campbell
2007	—	`conf`	Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection. Information Hiding Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patankar, Ramarathnam Venkatesan
2006	Misc	`conf`	SPACE: Secure Protocol for Address Book based Connection Establishment. HotNets Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Olin Blagsvedt, Adithya Hemakumar
2005	—	`conf`	Supporting Dynamically Changing Authorizations in Pervasive Communication Systems. SPC Adam J. Lee, Jodie P. Boyer, Chris Drexelius, Prasad Naldurg, Raquel L. Hill, Roy H. Campbell
2004	J	`jnl`	A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures. IEEE Distributed Syst. Online Raquel L. Hill, Jalal Al-Muhtadi, Roy H. Campbell, Apu Kapadia, Prasad Naldurg, Anand Ranganathan
2004	C	`conf`	A Temporal Logic Based Framework for Intrusion Detection. FORTE Prasad Naldurg, Koushik Sen, Prasanna Thati
2004	—	`—`	Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies Prasad Naldurg
2004	—	`conf`	Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks. POLICY Apu Kapadia, Prasad Naldurg, Roy H. Campbell
2003	C	`conf`	Dynamic access control: preserving safety and trust for network defense operations. SACMAT Prasad Naldurg, Roy H. Campbell
2003	—	`conf`	Modeling insecurity: policy engineering for survivability. SSRS@CCS Prasad Naldurg, Roy H. Campbell
2002	A	`conf`	Access Control for Active Spaces. ACSAC Geetanjali Sampemane, Prasad Naldurg, Roy H. Campbell
2002	—	`conf`	Developing Dynamic Security Policies. DANCE Prasad Naldurg, Roy H. Campbell, M. Dennis Mickunas
2002	—	`conf`	Towards Security and Privacy for Pervasive Computing. ISSS Roy H. Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane, M. Dennis Mickunas
2001	B	`conf`	Security-aware ad hoc routing for wireless networks. MobiHoc Seung Yi, Prasad Naldurg, Robin Kravets
2000	—	`conf`	Flexible Secure Multicasting in Active Networks. ICDCS Workshop on Group Communications and Computations Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas