Article-Journal
Gone, But Not Forgotten: The Current State of Private Computing
Jan 1, 2013
Don’t Thrash: How to Cache Your Hash in Flash
Jun 1, 2011
Flow-Insensitive Type Qualifiers
Jan 1, 2008
Deflation-secure web metering
Jan 1, 2007
Checking Linux kernel user-space pointer handling with $$CQual$$
Jan 1, 2002
New Approaches to Data Location
Jan 1, 2000
On union-closed families, I
Jan 1, 1999
Poster: Maxwell: User-Driven Information Flow Control for Android
Jan 1, 1970
« Previous