- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c21 |      | Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy: dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS 2013: 139-154 |
| 2012 | ||
| c20 | | |
| 2011 | ||
| c19 | | Sandeep Karanth, Srivatsan Laxman, Prasad Naldurg, Ramarathnam Venkatesan, John Lambert, Jinwook Shin: ZDVUE: prioritization of javascript attacks to discover new vulnerabilities. AISec 2011: 31-42 |
| c18 | | Prasad Naldurg, Raghavendra K. R.: SEAL: a logic programming framework for specifying and verifying access control models. SACMAT 2011: 83-92 |
| 2010 | ||
| c17 | | Tathagata Das, Ranjita Bhagwan, Prasad Naldurg: Baaz: A System for Detecting Access Control Misconfigurations. USENIX Security Symposium 2010: 161-176 |
| 2008 | ||
| j2 | | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on Windows Vista. SIGPLAN Notices 43(12): 9-20 (2008) |
| c16 | | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga: EON: modeling and analyzing dynamic access control systems with logic programs. ACM Conference on Computer and Communications Security 2008: 381-390 |
| c15 | | Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan: The Superdiversifier: Peephole Individualization for Software Protection. IWSEC 2008: 100-120 |
| c14 | | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on windows vista. PLAS 2008: 89-100 |
| i1 | | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A Type System for Data-Flow Integrity on Windows Vista. CoRR abs/0803.3230 (2008) |
| 2007 | ||
| c13 | | Srivatsan Laxman, Prasad Naldurg, Raja Sripada, Ramarathnam Venkatesan: Connections between Mining Frequent Itemsets and Learning Generative Models. ICDM 2007: 571-576 |
| c12 | | Mariusz H. Jakubowski, Prasad Naldurg, Vijay Patankar, Ramarathnam Venkatesan: Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection. Information Hiding 2007: 96-111 |
| c11 | | Apu Kapadia, Prasad Naldurg, Roy H. Campbell: Distributed Enforcement of Unlinkability Policies: Looking Beyond the Chinese Wall. POLICY 2007: 141-150 |
| 2006 | ||
| c10 | | Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert: NETRA: : seeing through access control. FMSE 2006: 55-66 |
| 2005 | ||
| c9 | | Adam J. Lee, Jodie P. Boyer, Chris Drexelius, Prasad Naldurg, Raquel L. Hill, Roy H. Campbell: Supporting Dynamically Changing Authorizations in Pervasive Communication Systems. SPC 2005: 134-150 |
| 2004 | ||
| j1 | | Raquel L. Hill, Jalal Al-Muhtadi, Roy H. Campbell, Apu Kapadia, Prasad Naldurg, Anand Ranganathan: A Middleware Architecture for Securing Ubiquitous Computing Cyber Infrastructures. IEEE Distributed Systems Online 5(9) (2004) |
| c8 | | Prasad Naldurg, Koushik Sen, Prasanna Thati: A Temporal Logic Based Framework for Intrusion Detection. FORTE 2004: 359-376 |
| c7 | | Apu Kapadia, Prasad Naldurg, Roy H. Campbell: Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks. POLICY 2004: 45-54 |
| 2003 | ||
| c6 | | Prasad Naldurg, Roy H. Campbell: Dynamic access control: preserving safety and trust for network defense operations. SACMAT 2003: 231-237 |
| 2002 | ||
| c5 | | Geetanjali Sampemane, Prasad Naldurg, Roy H. Campbell: Access Control for Active Spaces. ACSAC 2002: 343-352 |
| c4 | | Prasad Naldurg, Roy H. Campbell, M. Dennis Mickunas: Developing Dynamic Security Policies. DANCE 2002: 204-215 |
| c3 | | Roy H. Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane, M. Dennis Mickunas: Towards Security and Privacy for Pervasive Computing. ISSS 2002: 1-15 |
| 2001 | ||
| c2 | | Seung Yi, Prasad Naldurg, Robin Kravets: Security-aware ad hoc routing for wireless networks. MobiHoc 2001: 299-302 |
| 2000 | ||
| c1 |  | Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas: Flexible Secure Multicasting in Active Networks. ICDCS Workshop on Group Communications and Computations 2000: C15-C22 |
Colors in the list of coauthors
Last update Thu May 23 16:20:00 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page