Vinod Ganapathy: Research Papers

Jump to: [ Conference Papers | Workshop Papers | Theses | Technical Reports | Presentations ]
A list of these papers by year of publication is available here.

Entry in the DBLP Bibliography Server and on Google Scholar.
Refereed Conference Papers

ACSAC'09
Best student paper award
Analyzing Information Flow in JavaScript-based Browser Extensions (Awarded Best Student Paper)
Mohan Dhawan and Vinod Ganapathy.
25th Annual Computer Security Applications Conference.
Honolulu, Hawaii, December 2009.
[ Abstract | PDF | Postscript ]
ACSAC'09 Protecting Commodity Operating System Kernels from Vulnerable Device Drivers
Shakeel Butt, Vinod Ganapathy, Michael Swift and Chih-Cheng Chang.
25th Annual Computer Security Applications Conference.
Honolulu, Hawaii, December 2009.
[ Abstract | PDF ]
UbiComp'09 Privately Querying Location-based Services with SybilQuery
Pravin Shankar, Vinod Ganapathy and Liviu Iftode.
11th International Conference on Ubiquitous Computing.
Orlando, Florida, September/October 2009.
[ Abstract | PDF ]
SACMAT'09 Working Set-Based Access Control for Network File Systems
Stephen Smaldone, Vinod Ganapathy and Liviu Iftode.
14th ACM Symposium on Access Control Models and Technologies.
Stresa, Italy, June 2009.
[ Abstract | PDF ]
ACSAC'08
Best student paper award
Automatic Inference and Enforcement of Kernel Data Structure Invariants (Awarded Best Student Paper)
Arati Baliga, Vinod Ganapathy and Liviu Iftode.
24th Annual Computer Security Applications Conference.
Anaheim, California, December 2008.
[ Abstract | PDF | Postscript ]
ACSAC'08 OMOS: A 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 ]
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 ]
Oakland'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 ]

Refereed Workshop Papers

HotMobile'10 Rootkits on Smart Phones: Attacks, Implications and Opportunities
Jeffrey Bickford, Ryan O'Hare, Arati Baliga, Vinod Ganapathy, and Liviu Iftode.
11th International Workshop on Mobile Computing Systems and Applications
Annapolis, Maryland, February 2010.
[ Abstract | PDF ]
DIM'09 Privacy-Aware Identity Management for Client-side Mashup Applications
Saman Zarandioon, Danfeng Yao, and Vinod Ganapathy.
5th ACM Workshop on Digital Identity Management.
Chicago, Illinois, November 2009.
[ Abstract | PDF ]
W2SP'09 Evaluating Attack Amplification in Online Social Networks
Blase E. Ur and Vinod Ganapathy.
2009 Web 2.0 Security and Privacy Workshop.
Oakland, California, May 2009.
[ Abstract | PDF ]
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 ]

Theses

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 ]

Standard disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright (ACM Copyright Policy, IEEE Copyright Policy). In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Postscript/PDF/Powerpoint viewers: If you do not have software installed to view Postscript, PDF or Powerpoint files, you can download them free-of-cost off the web: Ghostview is a viewer for Postscript, Adobe Acroread is a viewer for PDF files and Microsoft Powerpoint Viewer lets you view Powerpoint files.

Back to my home page