Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. - R. C. Sekar 001; Shaunak Pawagi; I. V. Ramakrishnan (RTA, 1989)

Small Domains Spell Fast Strictness Analysis. - R. C. Sekar 001; Shaunak Pawagi; I. V. Ramakrishnan (POPL, 1990)

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. - R. C. Sekar 001; Prateek Mishra; I. V. Ramakrishnan (POPL, 1991)

Programming with Equations: A Framework for Lazy Parallel Evaluation. - R. C. Sekar 001; I. V. Ramakrishnan (CADE, 1992)

Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. - Owen Kaser; Shaunak Pawagi; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (LISP and Functional Programming, 1992)

On Modelling and Reasoning About Hybrid Systems. - R. C. Sekar 001; Yow-Jian Lin; Sanjai Narain (PSTV, 1992)

Extracting Determinacy in Logic Programs. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (ICLP, 1993)

The Touring Machine System. - Mauricio Arango; Lisa Bahler; Peter Bates; Munir Cochinwala; David Cohrs; Robert Fish; Gita Gopal; Nancy D. Griffeth; Gary E. Herman; Takako M. Hickey; Kuo Chi Lee; Will E. Leland; et al. (Commun. ACM, 1993)

Programming in Equational Logic: Beyond Strong Sequentiality - R. C. Sekar 001; I. V. Ramakrishnan (Inf. Comput., 1993)

Modelling techniques for evolving distributed applications. - R. Sekar 001; Yow-Jian Lin; C. R. Ramakrishnan 001 (FORTE, 1994)

A High Performance Runtime System for Parallel Evaluation of Lazy Languages. - Owen Kaser; C. R. Ramakrishnan 001; R. C. Sekar 001 (PASCO, 1994)

A Symbolic Constraint Solving Framework for Analysis of Logic Programs. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (PEPM, 1995)

Adaptive Pattern Matching. - R. C. Sekar 001; R. Ramesh 001; I. V. Ramakrishnan (SIAM J. Comput., 1995)

Fast Strictness Analysis Based on Demand Propagation. - R. Sekar 001; I. V. Ramakrishnan (ACM Trans. Program. Lang. Syst., 1995)

On the power and limitations of strictness analysis. - R. Sekar 001; I. V. Ramakrishnan; Prateek Mishra (J. ACM, 1997)

EQUALS - A Fast Parallel Implementation of a Lazy Language. - Owen Kaser; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (J. Funct. Program., 1997)

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. - Abhik Roychoudhury; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. Sekar 001 (ICCL, 1998)

A High-Performance Network Intrusion Detection System. - R. Sekar 001; Y. Guang; S. Verma; T. Shanbhag (CCS, 1999)

On Preventing Intrusions by Process Behavior Monitoring. - R. Sekar 001; Thomas F. Bowen; Mark E. Segal (Workshop on Intrusion Detection and Network Monitoring, 1999)

Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications. - R. Sekar 001; Prem Uppuluri (USENIX Security Symposium, 1999)

User-Level Infrastructure for System Call Interposition: A Platform for Intrusion Detection and Confinement. - K. Jain; R. Sekar 001 (NDSS, 2000)

Term Indexing. - I. V. Ramakrishnan; R. Sekar 001; Andrei Voronkov (Handbook of Automated Reasoning, 2001)

Model-Carrying Code (MCC): a new paradigm for mobile-code security. - R. Sekar 001; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka (NSPW, 2001)

Experiences with Specification-Based Intrusion Detection. - Prem Uppuluri; R. Sekar 001 (Recent Advances in Intrusion Detection, 2001)

A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors. - R. Sekar 001; M. Bendre; D. Dhurjati; P. Bollineni (S&P, 2001)

Automata-driven efficient subterm unification. - R. Ramesh 001; I. V. Ramakrishnan; R. C. Sekar 001 (Theor. Comput. Sci., 2001)

Specification-based anomaly detection: a new approach for detecting network intrusions. - R. Sekar 001; Ajay Gupta 002; J. Frullo; T. Shanbhag; A. Tiwari; H. Yang; S. Zhou (CCS, 2002)

An Approach for Secure Software Installation. - V. N. Venkatakrishnan; R. Sekar 001; T. Kamat; S. Tsipa; Zhenkai Liang (LISA, 2002)

Empowering mobile code using expressive security policies. - V. N. Venkatakrishnan; Ram Peri; R. Sekar 001 (NSPW, 2002)

Model-Based Analysis of Configuration Vulnerabilities. - C. R. Ramakrishnan 001; R. Sekar 001 (J. Comput. Secur., 2002)

Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs. - Zhenkai Liang; V. N. Venkatakrishnan; R. Sekar 001 (ACSAC, 2003)

An Approach for Detecting Self-propagating Email Using Anomaly Detection. - Ajay Gupta 002; R. Sekar 001 (RAID, 2003)

Model-carrying code: a practical approach for safe execution of untrusted applications. - R. Sekar 001; V. N. Venkatakrishnan; Samik Basu 001; Sandeep Bhatkar; Daniel C. DuVarney (SOSP, 2003)

Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits. - Sandeep Bhatkar; Daniel C. DuVarney; R. Sekar 001 (USENIX Security Symposium, 2003)

An efficient and backwards-compatible transformation to ensure memory safety of C programs. - Wei Xu; Daniel C. DuVarney; R. Sekar 001 (SIGSOFT FSE, 2004)

Automatic Generation of Buffer Overflow Attack Signatures: An Approach Based on Program Behavior Models. - Zhenkai Liang; R. Sekar 001 (ACSAC, 2005)

Fast and automated generation of attack signatures: a basis for building self-protecting servers. - Zhenkai Liang; R. Sekar 001 (CCS, 2005)

One-Way Isolation: An Effective Approach for Realizing Safe Execution Environments. - Weiqing Sun; Zhenkai Liang; V. N. Venkatakrishnan; R. Sekar 001 (NDSS, 2005)

Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. - Zhenkai Liang; R. Sekar 001; Daniel C. DuVarney (USENIX ATC, General Track, 2005)

An approach for realizing privacy-preserving web-based services. - Wei Xu; R. Sekar 001; I. V. Ramakrishnan; V. N. Venkatakrishnan (WWW (Special interest tracks and posters), 2005)

Address-Space Randomization for Windows Systems. - Lixin Li; James E. Just; R. Sekar 001 (ACSAC, 2006)

Provably Correct Runtime Enforcement of Non-interference Properties. - V. N. Venkatakrishnan; Wei Xu; Daniel C. DuVarney; R. Sekar 001 (ICICS, 2006)

A Framework for Building Privacy-Conscious Composite Web Services. - Wei Xu; V. N. Venkatakrishnan; R. Sekar 001; I. V. Ramakrishnan (ICWS, 2006)

Dataflow Anomaly Detection. - Sandeep Bhatkar; Abhishek Chaturvedi; R. Sekar 001 (S&P, 2006)

Taint-Enhanced Policy Enforcement: A Practical Approach to Defeat a Wide Range of Attacks. - Wei Xu; Sandeep Bhatkar; R. Sekar 001 (USENIX Security Symposium, 2006)

Inferring Higher Level Policies from Firewall Rules. - Alok Tongaonkar; Niranjan Inamdar; R. Sekar 001 (LISA, 2007)

A practical mimicry attack against powerful system-call monitors. - Chetan Parampalli; R. Sekar 001; Rob Johnson 001 (AsiaCCS, 2008)

Efficient fine-grained binary instrumentationwith applications to taint-tracking. - Prateek Saxena; R. Sekar 001; Varun Puranik (CGO, 2008)

Data Space Randomization. - Sandeep Bhatkar; R. Sekar 001 (DIMVA, 2008)

On the Limits of Information Flow Techniques for Malware Analysis and Containment. - Lorenzo Cavallaro; Prateek Saxena; R. Sekar 001 (DIMVA, 2008)

Expanding Malware Defense by Securing Software Installations. - Weiqing Sun; R. Sekar 001; Zhenkai Liang; V. N. Venkatakrishnan (DIMVA, 2008)

Fast Packet Classification for Snort by Native Compilation of Rules. - Alok Tongaonkar; Sreenaath Vasudevan; R. Sekar 001 (LISA, 2008)

Anomalous Taint Detection. - Lorenzo Cavallaro; R. Sekar 001 (RAID, 2008)

The role of virtualization in computing education. - Alessio Gaspar; Sarah Langevin; William D. Armitage; R. Sekar 001; Thomas E. Daniels 001 (SIGCSE, 2008)

Practical Proactive Integrity Preservation: A Basis for Malware Defense. - Weiqing Sun; R. Sekar 001; Gaurav Poothia; Tejas Karandikar (SP, 2008)

V-NetLab: An Approach for Realizing Logically Isolated Networks for Security Experiments. - Weiqing Sun; Varun Katta; Kumar Krishna; R. Sekar 001 (CSET, 2008)

Fast Packet Classification Using Condition Factorization. - Alok Tongaonkar; R. Sekar 001; Sreenaath Vasudevan (ACNS, 2009)

Online Signature Generation for Windows Systems. - Lixin Li; James E. Just; R. Sekar 001 (ACSAC, 2009)

An Efficient Black-box Technique for Defeating Web Application Attacks. - R. Sekar 001 (NDSS, 2009)

Alcatraz: An Isolated Environment for Experimenting with Untrusted Software. - Zhenkai Liang; Weiqing Sun; V. N. Venkatakrishnan; R. Sekar 001 (ACM Trans. Inf. Syst. Secur., 2009)

PAriCheck: an efficient pointer arithmetic checker for C programs. - Yves Younan; Pieter Philippaerts; Lorenzo Cavallaro; R. Sekar 001; Frank Piessens; Wouter Joosen (AsiaCCS, 2010)

Runtime Analysis and Instrumentation for Securing Software. - R. Sekar 001 (RV, 2010)

A server- and browser-transparent CSRF defense for web 2.0 applications. - Riccardo Pelizzi; R. Sekar 001 (ACSAC, 2011)

Information Flow Containment: A Practical Basis for Malware Defense. - R. Sekar 001 (DBSec, 2011)

Taint-Enhanced Anomaly Detection. - Lorenzo Cavallaro; R. Sekar 001 (ICISS, 2011)

Protection, usability and improvements in reflected XSS filters. - Riccardo Pelizzi; R. Sekar 001 (AsiaCCS, 2012)

Light-weight bounds checking. - Niranjan Hasabnis; Ashish Misra; R. Sekar 001 (CGO, 2012)

A portable user-level approach for system-wide integrity protection. - Wai-Kit Sze; R. Sekar 001 (ACSAC, 2013)

Control Flow Integrity for COTS Binaries. - Mingwei Zhang 005; R. Sekar 001 (USENIX Security Symposium, 2013)

Code-Pointer Integrity. - Volodymyr Kuznetsov; Laszlo Szekeres; Mathias Payer; George Candea; R. Sekar 001; Dawn Song (OSDI, 2014)

Towards more usable information flow policies for contemporary operating systems. - Wai-Kit Sze; Bhuvan Mital; R. Sekar 001 (SACMAT, 2014)

Comprehensive integrity protection for desktop linux. - Wai-Kit Sze; R. Sekar 001 (SACMAT, 2014)

A platform for secure static binary instrumentation. - Mingwei Zhang 005; Rui Qiao 002; Niranjan Hasabnis; R. Sekar 001 (VEE, 2014)

Eternal War in Memory. - Laszlo Szekeres; Mathias Payer; Tao Wei 002; R. Sekar 001 (IEEE Secur. Priv., 2014)

A Principled Approach for ROP Defense. - Rui Qiao 002; Mingwei Zhang 005; R. Sekar 001 (ACSAC, 2015)

Provenance-based Integrity Protection for Windows. - Wai-Kit Sze; R. Sekar 001 (ACSAC, 2015)

JaTE: Transparent and Efficient JavaScript Confinement. - Tung Tran 003; Riccardo Pelizzi; R. Sekar 001 (ACSAC, 2015)

Control Flow and Code Integrity for COTS binaries: An Effective Defense Against Real-World ROP Attacks. - Mingwei Zhang 005; R. Sekar 001 (ACSAC, 2015)

Checking correctness of code generator architecture specifications. - Niranjan Hasabnis; Rui Qiao 002; R. Sekar 001 (CGO, 2015)

WebSheets: Web Applications for Non-Programmers. - Riccardo Pelizzi; R. Sekar 001 (NSPW, 2015)

Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers. - Niranjan Hasabnis; R. Sekar 001 (ASPLOS, 2016)

Hardening OpenStack Cloud Platforms against Compute Node Compromises. - Wai-Kit Sze; Abhinav Srivastava; R. Sekar 001 (AsiaCCS, 2016)

Extracting instruction semantics via symbolic execution of code generators. - Niranjan Hasabnis; R. Sekar 001 (SIGSOFT FSE, 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 001; Scott D. Stoller; V. N. Venkatakrishnan; Junao Wang (CoRR, 2016)

Condition Factorization: A Technique for Building Fast and Compact Packet Matching Automata. - Alok Tongaonkar; R. Sekar 001 (IEEE Trans. Inf. Forensics Secur., 2016)

Protecting COTS Binaries from Disclosure-guided Code Reuse Attacks. - Mingwei Zhang 005; Michalis Polychronakis; R. Sekar 001 (ACSAC, 2017)

Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries. - Rui Qiao 002; R. Sekar 001 (DSN, 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 001; Scott D. Stoller; V. N. Venkatakrishnan (USENIX Security Symposium, 2017)

Code-pointer integrity. - Volodymyr Kuznetsov; Laszlo Szekeres; Mathias Payer; George Candea; R. Sekar 001; Dawn Song (The Continuing Arms Race, 2018)

Dependence-Preserving Data Compaction for Scalable Forensic Analysis. - Md Nahid Hossain; Junao Wang; R. Sekar 001; Scott D. Stoller (USENIX Security Symposium, 2018)

HOLMES: Real-Time APT Detection through Correlation of Suspicious Information Flows. - Sadegh Momeni Milajerdi; Rigel Gjomemo; Birhanu Eshete; R. Sekar 001; V. N. Venkatakrishnan (IEEE Symposium on Security and Privacy, 2019)

Practical Fine-Grained Binary Code Randomization†. - Soumyakant Priyadarshan; Huan Nguyen 004; R. Sekar 001 (ACSAC, 2020)

Information Flow: A Unified Basis for Vulnerability Mitigation, Malware Defense and Attack Scenario Reconstruction. - R. Sekar 001 (FEAST@CCS, 2020)

On the Impact of Exception Handling Compatibility on Binary Instrumentation. - Soumyakant Priyadarshan; Huan Nguyen 004; R. Sekar 001 (FEAST@CCS, 2020)

Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics. - Md Nahid Hossain; Sanaz Sheikhi; R. Sekar 001 (SP, 2020)

Accurate Disassembly of Complex Binaries Without Use of Compiler Metadata. - Soumyakant Priyadarshan; Huan Nguyen 004; R. Sekar 001 (ASPLOS (4), 2023)

SAFER: Efficient and Error-Tolerant Binary Instrumentation. - Soumyakant Priyadarshan; Huan Nguyen 004; Rohit Chouhan; R. Sekar 001 (USENIX Security Symposium, 2023)

Scalable, Sound, and Accurate Jump Table Analysis. - Huan Nguyen 004; Soumyakant Priyadarshan; R. Sekar 001 (ISSTA, 2024)

eAudit: A Fast, Scalable and Deployable Audit Data Collection System. - R. Sekar 001; Hanke Kimm; Rohit Aich (SP, 2024)

Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection. - Lingzhi Wang 002; Xiangmin Shen; Weijian Li 002; Zhenyuan Li; R. Sekar 001; Han Liu 001; Yan Chen 004 (NDSS, 2025)