“The paper burns, but the words fly free.”
― Akiba Ben Joseph
- [2022.04.16] [OOPSLA 2021] [2022.04.20] [OOPSLA 2021] Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
- [2021.12.1] [USENIX Security 2022] MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties/
- [2021.11.17] [USENIX Security 2021] Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems
- [2021.11.10] [Security and Communication Networks 2021] Blockchain as a CA: A Provably Secure Signcryption Scheme Leveraging Blockchains
- [2021.10.20] [NDSS 2021] Preventing and Detecting State Inference Attacks on Android
- [2021.09.29] [EuroSys 2019] ShieldStore: Shielded In-memory Keyvalue Storage with SGX
- [2021.09.18] [USENIX Security 2021] Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing
- [2021.09.14] [CCS 2019] OPERA: Open Remote Attestation for Intel’s Secure Enclaves
- [2021.09.01] [MIDDLEWARE 2019]AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
- [2021.08.25] [S&P 2021] DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices
- [2021.08.16] [ISSTA 2021] An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
- [2021.08.09] [ASPLOS 2020] COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX
- [2021.07.27] [ASPLOS 2020] Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
- [2021.07.19] [Security 2020] TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves
- [2021.07.12] [PLDI 2021] Alive2 Bounded Translation Validation for LLVM
- [2021.07.02] [NDSS 2021] CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
- [2021.05.25] [NDSS 2021] The Abuser Inside Apps: Finding the Culprit Committing Mobile Ad Fraud
- [2021.05.18] [NDSS 2021] Emilia: Catching IAGO in Legacy Code
- [2021.05.11] [PLDI 2021] Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
- [2021.04.27] [Security 2021] Swivel: Hardening WebAssembly against Spectre
- [2021.04.13] [IEEE S&P 2015] VC3: Trustworthy Data Analytics in the Cloud using SGX
- [2021.04.06] [Security 2019] Understanding iOS-based Crowdturfing Through Hidden UI Analysis
- [2021.04.14] [Security 2021] ABCD (template)
