Delphi: A Cryptographic Inference Service for Neural Networks
.
2020. Delphi: A Cryptographic Inference Service for Neural Networks. 29th USENIX Security Symposium (USENIX Security 20). :2505--2522.
{PHMon}: A Programmable Hardware Monitor and Its Security Use Cases
.
2020. {PHMon}: A Programmable Hardware Monitor and Its Security Use Cases. 29th USENIX Security Symposium (USENIX Security 20). :807--824.
Interpretable Deep Learning under Fire
.
2020. Interpretable Deep Learning under Fire. 29th USENIX Security Symposium (USENIX Security 20). :1659--1676.
{BesFS}: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof
.
2020. {BesFS}: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof. 29th USENIX Security Symposium (USENIX Security 20). :523--540.
Automatic Hot Patch Generation for Android Kernels
.
2020. Automatic Hot Patch Generation for Android Kernels. 29th USENIX Security Symposium (USENIX Security 20). :2397--2414.
Cache Telepathy: Leveraging Shared Resource Attacks to Learn {DNN} Architectures
.
2020. Cache Telepathy: Leveraging Shared Resource Attacks to Learn {DNN} Architectures. 29th USENIX Security Symposium (USENIX Security 20). :2003--2020.
{HybCache}: Hybrid {Side-Channel-Resilient} Caches for Trusted Execution Environments
.
2020. {HybCache}: Hybrid {Side-Channel-Resilient} Caches for Trusted Execution Environments. 29th USENIX Security Symposium (USENIX Security 20). :451--468.
{GREYONE}: Data Flow Sensitive Fuzzing
.
2020. {GREYONE}: Data Flow Sensitive Fuzzing. 29th USENIX Security Symposium (USENIX Security 20). :2577--2594.
{TPM-FAIL}: {TPM} meets Timing and Lattice Attacks
.
2020. {TPM-FAIL}: {TPM} meets Timing and Lattice Attacks. 29th USENIX Security Symposium (USENIX Security 20). :2057--2073.
{P2IM}: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling
.
2020. {P2IM}: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling. 29th USENIX Security Symposium (USENIX Security 20). :1237--1254.