An Empirical Security Study of the Native Code in the {JDK}
.
2008. An Empirical Security Study of the Native Code in the {JDK}. 17th USENIX Security Symposium (USENIX Security 08).
{AutoISES}: Automatically Inferring Security Specification and Detecting Violations
.
2008. {AutoISES}: Automatically Inferring Security Specification and Detecting Violations. 17th USENIX Security Symposium (USENIX Security 08).
{Real-World} Buffer Overflow Protection for Userspace & Kernelspace
.
2008. {Real-World} Buffer Overflow Protection for Userspace & Kernelspace. 17th USENIX Security Symposium (USENIX Security 08).
Verifying Compliance of Trusted Programs
.
2008. Verifying Compliance of Trusted Programs. 17th USENIX Security Symposium (USENIX Security 08).
Helios: Web-based {Open-Audit} Voting
.
2008. Helios: Web-based {Open-Audit} Voting. 17th USENIX Security Symposium (USENIX Security 08).