R. Sekar - RankMe

90 papers A* 21A 25B 7C 7Misc 2Journal 10Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection. NDSS Lingzhi Wang, Xiangmin Shen, Weijian Li, Zhenyuan Li, R. Sekar, Han Liu, Yan Chen
2024	J	`jnl`	Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection. CoRR Lingzhi Wang, Xiangmin Shen, Weijian Li, Zhenyuan Li, R. Sekar, Han Liu, Yan Chen
2024	A	`conf`	Scalable, Sound, and Accurate Jump Table Analysis. ISSTA Huan Nguyen, Soumyakant Priyadarshan, R. Sekar
2024	A*	`conf`	eAudit: A Fast, Scalable and Deployable Audit Data Collection System. SP R. Sekar, Hanke Kimm, Rohit Aich
2023	—	`conf`	Accurate Disassembly of Complex Binaries Without Use of Compiler Metadata. ASPLOS (4) Soumyakant Priyadarshan, Huan Nguyen, R. Sekar
2023	A*	`conf`	SAFER: Efficient and Error-Tolerant Binary Instrumentation. USENIX Security Symposium Soumyakant Priyadarshan, Huan Nguyen, Rohit Chouhan, R. Sekar
2020	A*	`conf`	Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics. SP Md Nahid Hossain, Sanaz Sheikhi, R. Sekar
2020	—	`conf`	Information Flow: A Unified Basis for Vulnerability Mitigation, Malware Defense and Attack Scenario Reconstruction. FEAST@CCS R. Sekar
2020	—	`conf`	On the Impact of Exception Handling Compatibility on Binary Instrumentation. FEAST@CCS Soumyakant Priyadarshan, Huan Nguyen, R. Sekar
2020	A	`conf`	Practical Fine-Grained Binary Code Randomization†. ACSAC Soumyakant Priyadarshan, Huan Nguyen, R. Sekar
2019	A*	`conf`	HOLMES: Real-Time APT Detection through Correlation of Suspicious Information Flows. IEEE Symposium on Security and Privacy Sadegh Momeni Milajerdi, Rigel Gjomemo, Birhanu Eshete, R. Sekar, V. N. Venkatakrishnan
2018	—	`ch.`	Code-pointer integrity. The Continuing Arms Race Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song
2018	A*	`conf`	Dependence-Preserving Data Compaction for Scalable Forensic Analysis. USENIX Security Symposium Md Nahid Hossain, Junao Wang, R. Sekar, Scott D. Stoller
2018	J	`jnl`	HOLMES: Real-time APT Detection through Correlation of Suspicious Information Flows. CoRR Sadegh M. Milajerdi, Rigel Gjomemo, Birhanu Eshete, R. Sekar, V. N. Venkatakrishnan
2018	J	`jnl`	SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. CoRR Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
2017	A	`conf`	Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries. DSN Rui Qiao, R. Sekar
2017	A	`conf`	Protecting COTS Binaries from Disclosure-guided Code Reuse Attacks. ACSAC Mingwei Zhang, Michalis Polychronakis, R. Sekar
2017	A*	`conf`	SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. USENIX Security Symposium Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
2016	J	`jnl`	Attack Analysis Results for Adversarial Engagement 1 of the DARPA Transparent Computing Program. CoRR Birhanu Eshete, Rigel Gjomemo, Md Nahid Hossain, Sadegh Momeni, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan, Junao Wang
2016	J	`jnl`	Condition Factorization: A Technique for Building Fast and Compact Packet Matching Automata. IEEE Trans. Inf. Forensics Secur. Alok Tongaonkar, R. Sekar
2016	—	`conf`	Extracting instruction semantics via symbolic execution of code generators. SIGSOFT FSE Niranjan Hasabnis, R. Sekar
2016	A	`conf`	Hardening OpenStack Cloud Platforms against Compute Node Compromises. AsiaCCS Wai-Kit Sze, Abhinav Srivastava, R. Sekar
2016	A*	`conf`	Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers. ASPLOS Niranjan Hasabnis, R. Sekar
2015	A	`conf`	A Principled Approach for ROP Defense. ACSAC Rui Qiao, Mingwei Zhang, R. Sekar
2015	A	`conf`	Checking correctness of code generator architecture specifications. CGO Niranjan Hasabnis, Rui Qiao, R. Sekar
2015	A	`conf`	Control Flow and Code Integrity for COTS binaries: An Effective Defense Against Real-World ROP Attacks. ACSAC Mingwei Zhang, R. Sekar
2015	A	`conf`	JaTE: Transparent and Efficient JavaScript Confinement. ACSAC Tung Tran, Riccardo Pelizzi, R. Sekar
2015	A	`conf`	Provenance-based Integrity Protection for Windows. ACSAC Wai-Kit Sze, R. Sekar
2015	C	`conf`	WebSheets: Web Applications for Non-Programmers. NSPW Riccardo Pelizzi, R. Sekar
2014	B	`conf`	A platform for secure static binary instrumentation. VEE Mingwei Zhang, Rui Qiao, Niranjan Hasabnis, R. Sekar
2014	A*	`conf`	Code-Pointer Integrity. OSDI Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song
2014	C	`conf`	Comprehensive integrity protection for desktop linux. SACMAT Wai-Kit Sze, R. Sekar
2014	J	`jnl`	Eternal War in Memory. IEEE Secur. Priv. Laszlo Szekeres, Mathias Payer, Tao Wei, R. Sekar
2014	C	`conf`	Towards more usable information flow policies for contemporary operating systems. SACMAT Wai-Kit Sze, Bhuvan Mital, R. Sekar
2013	A	`conf`	A portable user-level approach for system-wide integrity protection. ACSAC Wai-Kit Sze, R. Sekar
2013	A*	`conf`	Control Flow Integrity for COTS Binaries. USENIX Security Symposium Mingwei Zhang, R. Sekar
2012	A	`conf`	Light-weight bounds checking. CGO Niranjan Hasabnis, Ashish Misra, R. Sekar
2012	A	`conf`	Protection, usability and improvements in reflected XSS filters. AsiaCCS Riccardo Pelizzi, R. Sekar
2011	A	`conf`	A server- and browser-transparent CSRF defense for web 2.0 applications. ACSAC Riccardo Pelizzi, R. Sekar
2011	B	`conf`	Information Flow Containment: A Practical Basis for Malware Defense. DBSec R. Sekar
2011	Misc	`conf`	Taint-Enhanced Anomaly Detection. ICISS Lorenzo Cavallaro, R. Sekar
2010	A	`conf`	PAriCheck: an efficient pointer arithmetic checker for C programs. AsiaCCS Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen
2010	B	`conf`	Runtime Analysis and Instrumentation for Securing Software. RV R. Sekar
2009	J	`jnl`	Alcatraz: An Isolated Environment for Experimenting with Untrusted Software. ACM Trans. Inf. Syst. Secur. Zhenkai Liang, Weiqing Sun, V. N. Venkatakrishnan, R. Sekar
2009	A*	`conf`	An Efficient Black-box Technique for Defeating Web Application Attacks. NDSS R. Sekar
2009	B	`conf`	Fast Packet Classification Using Condition Factorization. ACNS Alok Tongaonkar, R. Sekar, Sreenaath Vasudevan
2009	A	`conf`	Online Signature Generation for Windows Systems. ACSAC Lixin Li, James E. Just, R. Sekar
2008	A	`conf`	A practical mimicry attack against powerful system-call monitors. AsiaCCS Chetan Parampalli, R. Sekar, Rob Johnson
2008	A	`conf`	Anomalous Taint Detection. RAID Lorenzo Cavallaro, R. Sekar
2008	B	`conf`	Data Space Randomization. DIMVA Sandeep Bhatkar, R. Sekar
2008	A	`conf`	Efficient fine-grained binary instrumentationwith applications to taint-tracking. CGO Prateek Saxena, R. Sekar, Varun Puranik
2008	B	`conf`	Expanding Malware Defense by Securing Software Installations. DIMVA Weiqing Sun, R. Sekar, Zhenkai Liang, V. N. Venkatakrishnan
2008	—	`conf`	Fast Packet Classification for Snort by Native Compilation of Rules. LISA Alok Tongaonkar, Sreenaath Vasudevan, R. Sekar
2008	Misc	`ed.`	Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings ICISS R. Sekar, Arun K. Pujari
2008	B	`conf`	On the Limits of Information Flow Techniques for Malware Analysis and Containment. DIMVA Lorenzo Cavallaro, Prateek Saxena, R. Sekar
2008	A*	`conf`	Practical Proactive Integrity Preservation: A Basis for Malware Defense. SP Weiqing Sun, R. Sekar, Gaurav Poothia, Tejas Karandikar
2008	A	`conf`	The role of virtualization in computing education. SIGCSE Alessio Gaspar, Sarah Langevin, William D. Armitage, R. Sekar, Thomas E. Daniels
2008	—	`conf`	V-NetLab: An Approach for Realizing Logically Isolated Networks for Security Experiments. CSET Weiqing Sun, Varun Katta, Kumar Krishna, R. Sekar
2007	—	`conf`	Inferring Higher Level Policies from Firewall Rules. LISA Alok Tongaonkar, Niranjan Inamdar, R. Sekar
2006	A	`conf`	A Framework for Building Privacy-Conscious Composite Web Services. ICWS Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan
2006	A	`conf`	Address-Space Randomization for Windows Systems. ACSAC Lixin Li, James E. Just, R. Sekar
2006	—	`conf`	Dataflow Anomaly Detection. S&P Sandeep Bhatkar, Abhishek Chaturvedi, R. Sekar
2006	C	`conf`	Provably Correct Runtime Enforcement of Non-interference Properties. ICICS V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar
2006	A*	`conf`	Taint-Enhanced Policy Enforcement: A Practical Approach to Defeat a Wide Range of Attacks. USENIX Security Symposium Wei Xu, Sandeep Bhatkar, R. Sekar
2005	—	`conf`	An approach for realizing privacy-preserving web-based services. WWW (Special interest tracks and posters) Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan
2005	A	`conf`	Automatic Generation of Buffer Overflow Attack Signatures: An Approach Based on Program Behavior Models. ACSAC Zhenkai Liang, R. Sekar
2005	—	`conf`	Automatic Synthesis of Filters to Discard Buffer Overflow Attacks: A Step Towards Realizing Self-Healing Systems. USENIX ATC, General Track Zhenkai Liang, R. Sekar, Daniel C. DuVarney
2005	A*	`conf`	Fast and automated generation of attack signatures: a basis for building self-protecting servers. CCS Zhenkai Liang, R. Sekar
2005	A*	`conf`	One-Way Isolation: An Effective Approach for Realizing Safe Execution Environments. NDSS Weiqing Sun, Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar
2004	—	`conf`	An efficient and backwards-compatible transformation to ensure memory safety of C programs. SIGSOFT FSE Wei Xu, Daniel C. DuVarney, R. Sekar
2003	A*	`conf`	Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits. USENIX Security Symposium Sandeep Bhatkar, Daniel C. DuVarney, R. Sekar
2003	A	`conf`	An Approach for Detecting Self-propagating Email Using Anomaly Detection. RAID Ajay Gupta, R. Sekar
2003	A	`conf`	Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs. ACSAC Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar
2003	A*	`conf`	Model-carrying code: a practical approach for safe execution of untrusted applications. SOSP R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney
2002	—	`conf`	An Approach for Secure Software Installation. LISA V. N. Venkatakrishnan, R. Sekar, T. Kamat, S. Tsipa, Zhenkai Liang
2002	C	`conf`	Empowering mobile code using expressive security policies. NSPW V. N. Venkatakrishnan, Ram Peri, R. Sekar
2002	J	`jnl`	Model-Based Analysis of Configuration Vulnerabilities. J. Comput. Secur. C. R. Ramakrishnan, R. Sekar
2002	A*	`conf`	Specification-based anomaly detection: a new approach for detecting network intrusions. CCS R. Sekar, Ajay Gupta, J. Frullo, T. Shanbhag, A. Tiwari, H. Yang, S. Zhou
2001	—	`conf`	A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors. S&P R. Sekar, M. Bendre, D. Dhurjati, P. Bollineni
2001	—	`conf`	Experiences with Specification-Based Intrusion Detection. Recent Advances in Intrusion Detection Prem Uppuluri, R. Sekar
2001	C	`conf`	Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2001	—	`ch.`	Term Indexing. Handbook of Automated Reasoning I. V. Ramakrishnan, R. Sekar, Andrei Voronkov
2000	A*	`conf`	User-Level Infrastructure for System Call Interposition: A Platform for Intrusion Detection and Confinement. NDSS K. Jain, R. Sekar
1999	A*	`conf`	A High-Performance Network Intrusion Detection System. CCS R. Sekar, Y. Guang, S. Verma, T. Shanbhag
1999	—	`conf`	On Preventing Intrusions by Process Behavior Monitoring. Workshop on Intrusion Detection and Network Monitoring R. Sekar, Thomas F. Bowen, Mark E. Segal
1999	A*	`conf`	Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications. USENIX Security Symposium R. Sekar, Prem Uppuluri
1998	—	`conf`	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar
1997	J	`jnl`	On the power and limitations of strictness analysis. J. ACM R. Sekar, I. V. Ramakrishnan, Prateek Mishra
1995	J	`jnl`	Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. R. Sekar, I. V. Ramakrishnan
1994	C	`conf`	Modelling techniques for evolving distributed applications. FORTE R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan