USENIX | The Advanced Computing Systems Association

Election Audits

Cordero A. 2006. Election Audits.

The {Joe-E} Subset of Java

Mettler A. 2006. The {Joe-E} Subset of Java.

Read more about The {Joe-E} Subset of Java
DBLP
Log in to post comments
Google Scholar
BibTeX

Prerendered User Interfaces for {Higher-Assurance} Electronic Voting

Yee K-P. 2006. Prerendered User Interfaces for {Higher-Assurance} Electronic Voting.

Read more about Prerendered User Interfaces for {Higher-Assurance} Electronic Voting
DBLP
Log in to post comments
Google Scholar
BibTeX

{Fine-Grained} Secure Localization for 802.11 Networks

Traynor P. 2006. {Fine-Grained} Secure Localization for 802.11 Networks.

Read more about {Fine-Grained} Secure Localization for 802.11 Networks
DBLP
Log in to post comments
Google Scholar
BibTeX

{KernelSecNet}

Radhakrishnan M, Solworth JA. 2006. {KernelSecNet}.

Taking Malware Detection To The Next Level (Down)

Felt A, Paul N, Evans D, Gurumurthi S. 2006. Taking Malware Detection To The Next Level (Down).

Read more about Taking Malware Detection To The Next Level (Down)
DBLP
Log in to post comments
Google Scholar
BibTeX

Data Sandboxing for Confidentiality

Khatiwala T, Swaminathan R. 2006. Data Sandboxing for Confidentiality.

Read more about Data Sandboxing for Confidentiality
DBLP
Log in to post comments
Google Scholar
BibTeX

An Architecture for {Specification-Based} Detection of Semantic Integrity Violations in Kernel Dynamic Data

Petroni, Jr. NL, Fraser T, Walters AA, Arbaugh WA. 2006. An Architecture for {Specification-Based} Detection of Semantic Integrity Violations in Kernel Dynamic Data. 15th USENIX Security Symposium (USENIX Security 06).

{vTPM}: Virtualizing the Trusted Platform Module

Berger S, Caceres R, Goldman KA, Perez R, Sailer R, van Doorn L. 2006. {vTPM}: Virtualizing the Trusted Platform Module. 15th USENIX Security Symposium (USENIX Security 06).

Read more about {vTPM}: Virtualizing the Trusted Platform Module
DBLP
Log in to post comments
Google Scholar
BibTeX

Designing Voting Machines for Verification

Sastry N. 2006. Designing Voting Machines for Verification. 15th USENIX Security Symposium (USENIX Security 06).

Read more about Designing Voting Machines for Verification
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages