dblp.uni-trier.dewww.uni-trier.de

Dave King Vis

Penn State

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)