V. N. Venkatakrishnan Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalpana Gondi, Prithvi Bisht, Praveen Venkatachari, A. Prasad Sistla, V. N. Venkatakrishnan: SWIPE: eager erasure of sensitive data in large scale systems software. CODASPY 2012: 295-306
2011
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan: WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction. ACM Conference on Computer and Communications Security 2011: 575-586
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. N. Venkatakrishnan: Web Browser Security and Privacy. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1372-1373
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. N. Venkatakrishnan: Applications of Formal Methods to Web Application Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 45-46
2010
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, V. N. Venkatakrishnan: NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications. ACM Conference on Computer and Communications Security 2010: 607-618
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan: TAPS: automatically preparing safe SQL queries. ACM Conference on Computer and Communications Security 2010: 645-647
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan: Automatically Preparing Safe SQL Queries. Financial Cryptography 2010: 272-288
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. N. Venkatakrishnan, Prithvi Bisht, Mike Ter Louw, Michelle Zhou, Kalpana Gondi, Karthik Thotta Ganesh: WebAppArmor: A Framework for Robust Prevention of Attacks on Web Applications (Invited Paper). ICISS 2010: 3-26
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichelle Zhou, Prithvi Bisht, V. N. Venkatakrishnan: Strengthening XSRF Defenses for Legacy Web Applications Using Whitebox Analysis and Transformation. ICISS 2010: 96-110
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Ter Louw, Karthik Thotta Ganesh, V. N. Venkatakrishnan: AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements. USENIX Security Symposium 2010: 371-388
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, Parthasarathy Madhusudan, V. N. Venkatakrishnan: CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks. ACM Trans. Inf. Syst. Secur. 13(2): (2010)
2009
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Ter Louw, V. N. Venkatakrishnan: Blueprint: Robust Prevention of Cross-site Scripting Attacks for Existing Browsers. IEEE Symposium on Security and Privacy 2009: 331-346
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenkai Liang, Weiqing Sun, V. N. Venkatakrishnan, R. Sekar: Alcatraz: An Isolated Environment for Experimenting with Untrusted Software. ACM Trans. Inf. Syst. Secur. 12(3): (2009)
2008
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla: Preventing Information Leaks through Shadow Executions. ACSAC 2008: 322-331
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske: CMV: automatic verification of complete mediation for java virtual machines. ASIACCS 2008: 100-111
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkatakrishnan: Expanding Malware Defense by Securing Software Installations. DIMVA 2008: 164-185
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrithvi Bisht, V. N. Venkatakrishnan: XSS-GUARD: Precise Dynamic Prevention of Cross-Site Scripting Attacks. DIMVA 2008: 23-43
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Ter Louw, Jin Soon Lim, V. N. Venkatakrishnan: Enhancing web browser security against malware extensions. Journal in Computer Virology 4(3): 179-195 (2008)
2007
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan: CANDID: preventing sql injection attacks using dynamic candidate evaluations. ACM Conference on Computer and Communications Security 2007: 12-24
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Ter Louw, Jin Soon Lim, V. N. Venkatakrishnan: Extensible Web Browser Security. DIMVA 2007: 1-19
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTejas Khatiwala, Raj Swaminathan, V. N. Venkatakrishnan: Data Sandboxing: A Technique for Enforcing Confidentiality Policies. ACSAC 2006: 223-234
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar: Provably Correct Runtime Enforcement of Non-interference Properties. ICICS 2006: 332-351
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan: A Framework for Building Privacy-Conscious Composite Web Services. ICWS 2006: 655-662
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoo San Sim, V. N. Venkatakrishnan: SUEZ: A Distributed Safe Execution Environment for System Administration Trials. LISA 2006: 161-173
2005
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWeiqing Sun, Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar: One-Way Isolation: An Effective Approach for Realizing Safe Execution Environments. NDSS 2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan: An approach for realizing privacy-preserving web-based services. WWW (Special interest tracks and posters) 2005: 1014-1015
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenkai Liang, V. N. Venkatakrishnan, R. Sekar: Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs. ACSAC 2003: 182-191
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar: SELF: a transparent security extension for ELF binaries. NSPW 2003: 29-38
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney: Model-carrying code: a practical approach for safe execution of untrusted applications. SOSP 2003: 15-28
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. N. Venkatakrishnan, R. Sekar, T. Kamat, S. Tsipa, Zhenkai Liang: An Approach for Secure Software Installation. LISA 2002: 219-226
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580

Coauthor Index

1Sruthi Bandhakavi [13]
2Samik Basu [3]
3Sandeep Bhatkar [3] [4]
4Prithvi Bisht [13] [15] [21] [23] [24] [25] [26] [27] [30] [31]
5Radoslaw Bobrowicz [27]
6Hilary Branske [17]
7Roberto Capizzi [18]
8Yifei Dong [1]
9Xiaoqun Du [1]
10Daniel C. DuVarney [3] [4] [10]
11Karthik Thotta Ganesh [22] [24]
12Kalpana Gondi [24] [31]
13Timothy Hinrichs [27] [30]
14T. Kamat [2]
15Tejas Khatiwala [11]
16Zhenkai Liang [2] [5] [7] [16] [19]
17Jin Soon Lim [12] [14]
18Antonio Longo [18]
19Mike Ter Louw [12] [14] [20] [22] [24]
20P. Madhusudan (Parthasarathy Madhusudan) [13] [21]
21C. R. Ramakrishnan [1]
22I. V. Ramakrishnan [1] [6] [9]
23Abhik Roychoudhury [1]
24R. Sekar [2] [3] [5] [6] [7] [9] [10] [16] [19]
25Doo San Sim [8]
26A. Prasad Sistla [17] [18] [25] [26] [31]
27Nazari Skrupsky [27] [30]
28Scott A. Smolka [1]
29Weiqing Sun [7] [16] [19]
30Raj Swaminathan [11]
31S. Tsipa [2]
32Praveen Venkatachari [31]
33Wei Xu [6] [9] [10]
34Michelle Zhou [17] [23] [24]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page