Dave King

Penn State

other persons with the same name:

• Dave King

	2008
6		Dave King, Boniface Hicks, Michael Hicks, Trent Jaeger: Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. ICISS 2008: 56-70
5		Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia: Effective blame for information-flow violations. SIGSOFT FSE 2008: 250-260
4		Sandra Rueda, Dave King, Trent Jaeger: Verifying Compliance of Trusted Programs. USENIX Security Symposium 2008: 321-334
	2007
3		Vinod Ganapathy, Dave King, Trent Jaeger, Somesh Jha: Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis. ICSE 2007: 458-467
2		Boniface Hicks, Dave King, Patrick McDaniel: Jifclipse: development tools for security-typed languages. PLAS 2007: 1-10
	2006
1		Boniface Hicks, Dave King, Patrick McDaniel, Michael Hicks: Trusted declassification: : high-level policy for a security-typed language. PLAS 2006: 65-74

Coauthor Index

1	Vinod Ganapathy	[3]
2	Boniface Hicks	[1] [2] [6]
3	Michael W. Hicks (Michael Hicks)	[1] [6]
4	Trent Jaeger	[3] [4] [5] [6]
5	Somesh Jha	[3] [5]
6	Patrick Drew McDaniel (Patrick McDaniel)	[1] [2]
7	Sandra Rueda	[4]
8	Sanjit A. Seshia	[5]