USENIX | The Advanced Computing Systems Association

From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security

Weir C, Hermann B, Fahl S. 2020. From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security 29th USENIX Security Symposium (USENIX Security 20). :289--305.

Datalog Disassembly

Flores-Montoya A, Schulte E. 2020. Datalog Disassembly. 29th USENIX Security Symposium (USENIX Security 20). :1075--1092.

{NetWarden}: Mitigating Network Covert Channels while Preserving Performance

Xing J, Kang Q, Chen A. 2020. {NetWarden}: Mitigating Network Covert Channels while Preserving Performance. 29th USENIX Security Symposium (USENIX Security 20). :2039--2056.

{RELOAD+REFRESH}: Abusing Cache Replacement Policies to Perform Stealthy Cache Attacks

Briongos S, Malagon P, Moya JM, Eisenbarth T. 2020. {RELOAD+REFRESH}: Abusing Cache Replacement Policies to Perform Stealthy Cache Attacks. 29th USENIX Security Symposium (USENIX Security 20). :1967--1984.

{ParmeSan}: Sanitizer-guided Greybox Fuzzing

Österlund S, Razavi K, Bos H, Giuffrida C. 2020. {ParmeSan}: Sanitizer-guided Greybox Fuzzing. 29th USENIX Security Symposium (USENIX Security 20). :2289--2306.

Read more about {ParmeSan}: Sanitizer-guided Greybox Fuzzing
DBLP
Log in to post comments
Google Scholar
BibTeX

{ETHBMC}: A Bounded Model Checker for Smart Contracts

Frank J, Aschermann C, Holz T. 2020. {ETHBMC}: A Bounded Model Checker for Smart Contracts. 29th USENIX Security Symposium (USENIX Security 20). :2757--2774.

Read more about {ETHBMC}: A Bounded Model Checker for Smart Contracts
DBLP
Log in to post comments
Google Scholar
BibTeX

{FuzzGen}: Automatic Fuzzer Generation

Ispoglou K, Austin D, Mohan V, Payer M. 2020. {FuzzGen}: Automatic Fuzzer Generation. 29th USENIX Security Symposium (USENIX Security 20). :2271--2287.

Read more about {FuzzGen}: Automatic Fuzzer Generation
DBLP
Log in to post comments
Google Scholar
BibTeX

{SANNS}: Scaling Up Secure Approximate {k-Nearest} Neighbors Search

Chen H, Chillotti I, Dong Y, Poburinnaya O, Razenshteyn I, M. Riazi S. 2020. {SANNS}: Scaling Up Secure Approximate {k-Nearest} Neighbors Search. 29th USENIX Security Symposium (USENIX Security 20). :2111--2128.

Read more about {SANNS}: Scaling Up Secure Approximate {k-Nearest} Neighbors Search
DBLP
Log in to post comments
Google Scholar
BibTeX

Fuzzing Error Handling Code using {Context-Sensitive} Software Fault Injection

Jiang Z-M, Bai J-J, Lu K, Hu S-M. 2020. Fuzzing Error Handling Code using {Context-Sensitive} Software Fault Injection. 29th USENIX Security Symposium (USENIX Security 20). :2595--2612.

{FIRMSCOPE}: Automatic Uncovering of {Privilege-Escalation} Vulnerabilities in {Pre-Installed} Apps in Android Firmware

Elsabagh M, Johnson R, Stavrou A, Zuo C, Zhao Q, Lin Z. 2020. {FIRMSCOPE}: Automatic Uncovering of {Privilege-Escalation} Vulnerabilities in {Pre-Installed} Apps in Android Firmware. 29th USENIX Security Symposium (USENIX Security 20). :2379--2396.

Pages