Phasing: Private Set Intersection Using Permutation-based Hashing
.
2015. Phasing: Private Set Intersection Using Permutation-based Hashing. 24th USENIX Security Symposium (USENIX Security 15). :515--530.
{M2R}: Enabling Stronger Privacy in {MapReduce} Computation
.
2015. {M2R}: Enabling Stronger Privacy in {MapReduce} Computation. 24th USENIX Security Symposium (USENIX Security 15). :447--462.
Raccoon: Closing Digital {Side-Channels} through Obfuscated Execution
.
2015. Raccoon: Closing Digital {Side-Channels} through Obfuscated Execution. 24th USENIX Security Symposium (USENIX Security 15). :431--446.
Constants Count: Practical Improvements to Oblivious {RAM}
.
2015. Constants Count: Practical Improvements to Oblivious {RAM}. 24th USENIX Security Symposium (USENIX Security 15). :415--430.
{EASEAndroid}: Automatic Policy Analysis and Refinement for Security Enhanced Android via {Large-Scale} {Semi-Supervised} Learning
.
2015. {EASEAndroid}: Automatic Policy Analysis and Refinement for Security Enhanced Android via {Large-Scale} {Semi-Supervised} Learning. 24th USENIX Security Symposium (USENIX Security 15). :351--366.
Securing {Self-Virtualizing} Ethernet Devices
.
2015. Securing {Self-Virtualizing} Ethernet Devices. 24th USENIX Security Symposium (USENIX Security 15). :335--350.
Trustworthy {Whole-System} Provenance for the Linux Kernel
.
2015. Trustworthy {Whole-System} Provenance for the Linux Kernel. 24th USENIX Security Symposium (USENIX Security 15). :319--334.
To Pin or Not to {Pin—Helping} App Developers Bullet Proof Their {TLS} Connections
.
2015. To Pin or Not to {Pin—Helping} App Developers Bullet Proof Their {TLS} Connections. 24th USENIX Security Symposium (USENIX Security 15). :239--254.
{Not-Quite-So-Broken} {TLS}: Lessons in {Re-Engineering} a Security Protocol Specification and Implementation
.
2015. {Not-Quite-So-Broken} {TLS}: Lessons in {Re-Engineering} a Security Protocol Specification and Implementation. 24th USENIX Security Symposium (USENIX Security 15). :223--238.
Verified Correctness and Security of {OpenSSL} {HMAC}
.
2015. Verified Correctness and Security of {OpenSSL} {HMAC}. 24th USENIX Security Symposium (USENIX Security 15). :207--221.