V. N. Venkatakrishnan

According to our database, V. N. Venkatakrishnan authored at least 65 papers between 2000 and 2023.

Collaborative distances:

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

2023

Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability.

Mingqing Kang, Yichao Xu, Song Li, Rigel Gjomemo, Jianwei Hou, V. N. Venkatakrishnan, Yinzhi Cao

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Ostinato: Cross-host Attack Correlation Through Attack Activity Similarity Detection.

Sutanu Kumar Ghosh, Kiavash Satvat, Rigel Gjomemo, V. N. Venkatakrishnan

Proceedings of the Information Systems Security - 18th International Conference, 2022

2021

Extractor: Extracting Attack Behavior from Threat Reports.

Kiavash Satvat, Rigel Gjomemo, V. N. Venkatakrishnan

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

2020

Remote Check Truncation Systems: Vulnerability Analysis and Countermeasures.

Hafiz Malik, Rigel Gjomemo, V. N. Venkatakrishnan, Rashid Ansari, Aun Irtaza

IEEE Access, 2020

2019

HOLMES: Real-Time APT Detection through Correlation of Suspicious Information Flows.

Sadegh Momeni Milajerdi, Rigel Gjomemo, Birhanu Eshete, R. Sekar, V. N. Venkatakrishnan

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

POIROT: Aligning Attack Behavior with Kernel Audit Records for Cyber Threat Hunting.

Sadegh M. Milajerdi, Birhanu Eshete, Rigel Gjomemo, V. N. Venkatakrishnan

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

2018

NAVEX: Precise and Scalable Exploit Generation for Dynamic Web Applications.

Abeer Alhuzali, Rigel Gjomemo, Birhanu Eshete, V. N. Venkatakrishnan

Proceedings of the 27th USENIX Security Symposium, 2018

ProPatrol: Attack Investigation via Extracted High-Level Tasks.

Sadegh M. Milajerdi, Birhanu Eshete, Rigel Gjomemo, Venkat N. Venkatakrishnan

Proceedings of the Information Systems Security - 14th International Conference, 2018

2017

SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data.

Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan

Proceedings of the 26th USENIX Security Symposium, 2017

DynaMiner: Leveraging Offline Infection Analytics for On-the-Wire Malware Detection.

Birhanu Eshete, V. N. Venkatakrishnan

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Fast Memory-efficient Anomaly Detection in Streaming Heterogeneous Graphs.

Emaad A. Manzoor, Sadegh Momeni, Venkat N. Venkatakrishnan, Leman Akoglu

CoRR, 2016

Attack Analysis Results for Adversarial Engagement 1 of the DARPA Transparent Computing Program.

Birhanu Eshete, Rigel Gjomemo, Md Nahid Hossain, Sadegh Momeni, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan, Junao Wang

CoRR, 2016

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.

Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 2016 IEEE International Conference on Software Quality, 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

Chainsaw: Chained Automated Workflow-based Exploit Generation.

Abeer Alhuzali, Birhanu Eshete, Rigel Gjomemo, V. N. Venkatakrishnan

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

2015

Between Worlds: Securing Mixed JavaScript/ActionScript Multi-Party Web Content.

Phu H. Phung, Maliheh Monshizadeh, Meera Sridhar, Kevin W. Hamlen, V. N. Venkatakrishnan

IEEE Trans. Dependable Secur. Comput., 2015

From Verification to Optimizations.

Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Vetting SSL Usage in Applications with SSLINT.

Boyuan He, Vaibhav Rastogi, Yinzhi Cao, Yan Chen, V. N. Venkatakrishnan, Runqing Yang, Zhenrui Zhang

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

EKHunter: A Counter-Offensive Toolkit for Exploit Kit Infiltration.

Birhanu Eshete, Abeer Alhuzali, Maliheh Monshizadeh, Phillip A. Porras, Venkat N. Venkatakrishnan, Vinod Yegneswaran

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

Practical Exploit Generation for Intent Message Vulnerabilities in Android.

Daniele Gallingani, Rigel Gjomemo, V. N. Venkatakrishnan, Stefano Zanero

Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, 2015

2014

Automated detection of parameter tampering opportunities and vulnerabilities in web applications.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan

J. Comput. Secur., 2014

A Threat Table Based Assessment of Information Security in Telemedicine.

John C. Pendergrass, Karen Heart, C. Ranganathan, V. N. Venkatakrishnan

Int. J. Heal. Inf. Syst. Informatics, 2014

PeerShark: flow-clustering and conversation-generation for malicious peer-to-peer traffic identification.

Pratik Narang, Chittaranjan Hota, V. N. Venkatakrishnan

EURASIP J. Inf. Secur., 2014

DEICS: Data Erasure in Concurrent Software.

Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan

Proceedings of the Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, 2014

Digital Check Forgery Attacks on Client Check Truncation Systems.

Rigel Gjomemo, Hafiz Malik, Nilesh Sumb, V. N. Venkatakrishnan, Rashid Ansari

Proceedings of the Financial Cryptography and Data Security, 2014

Minimizing lifetime of sensitive data in concurrent programs.

Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

WebWinnow: leveraging exploit kit workflows to detect malicious urls.

Birhanu Eshete, V. N. Venkatakrishnan

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 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

WEBLOG: a declarative language for secure web development.

Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

SafeScript: JavaScript Transformation for Policy Enforcement.

Mike Ter Louw, Phu H. Phung, Rohini Krishnamurti, Venkat N. Venkatakrishnan

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

TamperProof: a server-agnostic defense for parameter tampering attacks on web applications.

Nazari Skrupsky, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

2012

Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, Venkat N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

SWIPE: eager erasure of sensitive data in large scale systems software.

Kalpana Gondi, Prithvi Bisht, Praveen Venkatachari, A. Prasad Sistla, V. N. Venkatakrishnan

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

Web Browser Security and Privacy.

V. N. Venkatakrishnan

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Applications of Formal Methods to Web Application Security.

V. N. Venkatakrishnan

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, V. N. Venkatakrishnan

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks.

Prithvi Bisht, Parthasarathy Madhusudan, V. N. Venkatakrishnan

ACM Trans. Inf. Syst. Secur., 2010

AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements.

Mike Ter Louw, Karthik Thotta Ganesh, V. N. Venkatakrishnan

Proceedings of the 19th USENIX Security Symposium, 2010

Strengthening XSRF Defenses for Legacy Web Applications Using Whitebox Analysis and Transformation.

Michelle Zhou, Prithvi Bisht, V. N. Venkatakrishnan

Proceedings of the Information Systems Security - 6th International Conference, 2010

WebAppArmor: A Framework for Robust Prevention of Attacks on Web Applications (Invited Paper).

V. N. Venkatakrishnan, Prithvi Bisht, Mike Ter Louw, Michelle Zhou, Kalpana Gondi, Karthik Thotta Ganesh

Proceedings of the Information Systems Security - 6th International Conference, 2010

Automatically Preparing Safe SQL Queries.

Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

TAPS: automatically preparing safe SQL queries.

Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications.

Prithvi Bisht, Timothy L. Hinrichs, Nazari Skrupsky, Radoslaw Bobrowicz, V. N. Venkatakrishnan

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Alcatraz: An Isolated Environment for Experimenting with Untrusted Software.

Zhenkai Liang, Weiqing Sun, V. N. Venkatakrishnan, R. Sekar

ACM Trans. Inf. Syst. Secur., 2009

Blueprint: Robust Prevention of Cross-site Scripting Attacks for Existing Browsers.

Mike Ter Louw, V. N. Venkatakrishnan

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

2008

Enhancing web browser security against malware extensions.

Mike Ter Louw, Jin Soon Lim, V. N. Venkatakrishnan

J. Comput. Virol., 2008

Expanding Malware Defense by Securing Software Installations.

Weiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkatakrishnan

Proceedings of the Detection of Intrusions and Malware, 2008

XSS-GUARD: Precise Dynamic Prevention of Cross-Site Scripting Attacks.

Prithvi Bisht, V. N. Venkatakrishnan

Proceedings of the Detection of Intrusions and Malware, 2008

CMV: automatic verification of complete mediation for java virtual machines.

A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Preventing Information Leaks through Shadow Executions.

Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

Extensible Web Browser Security.

Mike Ter Louw, Jin Soon Lim, V. N. Venkatakrishnan

Proceedings of the Detection of Intrusions and Malware, 2007

CANDID: preventing sql injection attacks using dynamic candidate evaluations.

Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan

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

2006

SUEZ: A Distributed Safe Execution Environment for System Administration Trials.

Doo San Sim, V. N. Venkatakrishnan

Proceedings of the 20th Conference on Systems Administration (LISA 2006), 2006

A Framework for Building Privacy-Conscious Composite Web Services.

Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Provably Correct Runtime Enforcement of Non-interference Properties.

V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar

Proceedings of the Information and Communications Security, 8th International Conference, 2006

Data Sandboxing: A Technique for Enforcing Confidentiality Policies.

Tejas Khatiwala, Raj Swaminathan, V. N. Venkatakrishnan

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

An approach for realizing privacy-preserving web-based services.

Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan

Proceedings of the 14th international conference on World Wide Web, 2005

One-Way Isolation: An Effective Approach for Realizing Safe Execution Environments.

Weiqing Sun, Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar

Proceedings of the Network and Distributed System Security Symposium, 2005

2003

Model-carrying code: a practical approach for safe execution of untrusted applications.

R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

SELF: a transparent security extension for ELF binaries.

Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar

Proceedings of the New Security Paradigms Workshop 2003, 2003

Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs.

Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2002

Empowering mobile code using expressive security policies.

V. N. Venkatakrishnan, Ram Peri, R. Sekar

Proceedings of the 2002 Workshop on New Security Paradigms, 2002

An Approach for Secure Software Installation.

V. N. Venkatakrishnan, R. Sekar, T. Kamat, S. Tsipa, Zhenkai Liang

Proceedings of the 16th Conference on Systems Administration (LISA 2002), 2002

2000

XMC: A Logic-Programming-Based Verification Toolset.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000