| ACSAC'08 |
Automatic Inference and Enforcement
of Kernel Data Structure Invariants
Arati Baliga, Vinod Ganapathy, and Liviu Iftode. 24th Annual Computer Security Applications Conference. Anaheim, California, December 2008. [ Abstract | PDF | Postscript ] |
| ACSAC'08 |
Design and Implementation of
an Open Framework for Secure Communication in Mashup Applications
Saman Zarandioon, Danfeng Yao, and Vinod Ganapathy. 24th Annual Computer Security Applications Conference. Anaheim, California, December 2008. [ Abstract | PDF | Postscript ] |
| CCS'08 |
Enforcing Authorization Policies
using Transactional Memory Introspection
Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, and Liviu Iftode. 15th ACM Conference on Computer and Communications Security. Alexandria, Virginia, October 2008. [ Abstract | PDF | Postscript ] |
| ASPLOS'08 |
The Design and Implementation
of Microdrivers
Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, and Somesh Jha. 13th International Conference on Architectural Support for Programming Languages and Operating Systems. Seattle, Washington, March 2008. [ Abstract | PDF ] |
| ICSE'07 |
Mining Security-sensitive Operations in
Legacy Code using Concept Analysis
Vinod Ganapathy, David King, Trent Jaeger, and Somesh Jha. 29th International Conference on Software Engineering. Minneapolis, Minnesota, May 2007. [ Abstract | PDF | Postscript ] |
| ACSAC'06 |
NetSpy: Automatic Generation of
Spyware Signatures for NIDS
Hao Wang, Somesh Jha, and Vinod Ganapathy. 22nd Annual Computer Security Applications Conference. Miami Beach, Florida, December 2006. [ Abstract | PDF | Postscript ] |
| ASPLOS'06 |
HeapMD: Identifying Heap-based Bugs using
Anomaly Detection
Trishul M. Chilimbi and Vinod Ganapathy. 12th International Conference on Architectural Support for Programming Languages and Operating Systems. San Jose, California, October 2006. [ Abstract | PDF | Postscript ] |
| S&P'06 |
Retrofitting Legacy Code for Authorization
Policy Enforcement
Vinod Ganapathy, Trent Jaeger, and Somesh Jha. 2006 IEEE Symposium on Security and Privacy. Berkeley/Oakland, California, May 2006. [ Abstract | PDF | Postscript ] |
| SELinux'06 |
Towards Automated Authorization Policy
Enforcement
Vinod Ganapathy, Trent Jaeger, and Somesh Jha. 2nd Annual Security Enhanced Linux Symposium. Baltimore, Maryland, March 2006. [ Abstract | PDF | Postscript ] |
| CCS'05 |
Automatic Placement of Authorization Hooks in
the Linux Security Modules Framework
Vinod Ganapathy, Trent Jaeger, and Somesh Jha. 12th ACM Conference on Computer and Communications Security. Alexandria, Virginia, November 2005. [ Abstract | PDF | Postscript ] |
| CCS'05 |
An Auctioning Reputation System Based on
Anomaly Detection
Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, and Nicholas Kidd. 12th ACM Conference on Computer and Communications Security. Alexandria, Virginia, November 2005. [ Abstract | PDF | Postscript ] |
| ICSE'05 |
Automatic Discovery of API-Level Exploits
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, and Randal E. Bryant. 27th International Conference on Software Engineering. St. Louis, Missouri, May 2005. [ Abstract | PDF | Postscript ] |
| CCS'03 |
Buffer Overrun Detection using Linear
Programming and Static Analysis
Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, and David Vitek. 10th ACM Conference on Computer and Communications Security. Washington, DC, October 2003. [ Abstract | PDF | Postscript ] |
| HotOS'07 |
Microdrivers: A New Architecture for Device
Drivers
Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, and Somesh Jha. 11th Workshop on Hot Topics in Operating Systems. San Diego, California, May 2007. [ Abstract | PDF | Postscript ] |
| ENTCS'02 |
Slicing Synchronous Reactive Programs
Vinod Ganapathy and S. Ramesh. Electronic Notes in Theoretical Computer Science, 65(5). 1st Workshop on Synchronous Languages, Applications, and Programming Grenoble, France, April 2002. [ Abstract | PDF | Postscript ] |
| NetSpy |
System for Automatic Detection of Spyware
Hao Wang, Somesh Jha, and Vinod Ganapathy. Application filed with the United States Patent Office. Provisional application filed 29th November 2006. |
| HeapMD |
Heap-based Bug Identification using Anomaly Detection
Trishul M. Chilimbi and Vinod Ganapathy. United States Patent Application 20060265694. Filed 20th May 2005. |
| Doctoral Dissertation |
Retrofitting Legacy Code for Authorization
Policy Enforcement
Vinod Ganapathy. Ph.D. Dissertation, Computer Sciences Department, University of Wisconsin-Madison. Madison, Wisconsin, August 2007. [ Abstract | PDF | Postscript ] |
| Bachelors Thesis |
Efficient Verification of Synchronous
Programs
Vinod Ganapathy. Bachelors Thesis, Department of Computer Science and Engineering, Indian Institute of Technology Bombay. Powai, Mumbai, May 2001. [ Abstract | PDF ] |