Vijay Ganesh

	2012
13		Vijay Ganesh, Michael Carbin, Martin C. Rinard: Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography CoRR abs/1202.0359: (2012)
12		Vijay Ganesh: STP/HAMPI and Computer Security CoRR abs/1204.2989: (2012)
	2011
11		Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin: Automatic error finding in access-control policies. ACM Conference on Computer and Communications Security 2011: 163-174
10		Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19
9		Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin: ARBAC Policy for a Large Multi-National Bank CoRR abs/1110.2849: (2011)
	2009
8		Vijay Ganesh, Tim Leek, Martin C. Rinard: Taint-based directed whitebox fuzzing. ICSE 2009: 474-484
7		Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: a solver for string constraints. ISSTA 2009: 105-116
	2008
6		Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2): (2008)
	2007
5		Vijay Ganesh, David L. Dill: A Decision Procedure for Bit-Vectors and Arrays. CAV 2007: 519-531
	2006
4		Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler: EXE: automatically generating inputs of death. ACM Conference on Computer and Communications Security 2006: 322-335
	2003
3		Sergey Berezin, Vijay Ganesh, David L. Dill: An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. TACAS 2003: 521-536
	2002
2		Vijay Ganesh, Sergey Berezin, David L. Dill: Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. FMCAD 2002: 171-186
	1999
1		Ashok Halambi, Peter Grun, Vijay Ganesh, Asheesh Khare, Nikil D. Dutt, Alexandru Nicolau: EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability. DATE 1999: 485-490

Coauthor Index

1	Shay Artzi	[10]
2	Sergey Berezin	[2] [3]
3	Cristian Cadar	[4] [6]
4	Michael Carbin	[13]
5	Steve J. Chapin	[9] [11]
6	David L. Dill	[2] [3] [4] [5] [6]
7	Nikil D. Dutt (Nikil Dutt)	[1]
8	Dawson R. Engler	[4] [6]
9	Michael D. Ernst	[7] [10]
10	Peter Grun	[1]
11	Philip J. Guo	[7] [10]
12	Ashok Halambi	[1]
13	Pieter Hooimeijer	[7] [10]
14	Karthick Jayaraman	[9] [11]
15	Asheesh Khare	[1]
16	Adam Kiezun	[7] [10]
17	Tim Leek	[8]
18	Alexandru Nicolau (Alex Nicolau)	[1]
19	Peter M. Pawlowski	[4] [6]
20	Martin C. Rinard	[8] [9] [11] [13]
21	Mahesh V. Tripunitara	[9] [11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page