Victory by KO: Attacking OpenPGP Using Key Overwriting (加密-密码学)
Proving UNSAT in Zero Knowledge (零知识证明-密码学)
Automatic Detection of Speculative Execution Combinations
Zapper: Smart Contracts with Data and Identity Privacy
STAR: Secret Sharing for Private Threshold Aggregation Reporting
XSinator.com: From a Formal Model to the Automatic Evaluation of Cross-Site Leaks in Web Browsers (跨站xss-web安全)
One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization (虚拟化)
On the Renyi Differential Privacy of the Shuffle Model (隐私保护-密码学)
On the (In)Security of ElGamal in OpenPGP
V-Shuttle: Scalable and Semantics-Aware Hypervisor Virtual Device Fuzzing (虚拟化-fuzzing-测试-挖洞)
DNS Cache Poisoning Attack Reloaded: Revolutions with Side Channels(web安全-侧信道)
Where Does It Go? Refining Indirect-Call Targets with Multi-layer Type Analysis(程序分析)