1

Columbus: Android App Testing Through Systematic Callback Exploration

Hybrid Pruning: Towards Precise Pointer and Taint Analysis

Sailfish: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Understanding Security Issues in the NFT Ecosystem

Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices

PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary

PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary

BootStomp: On the Security of Bootloaders in Mobile Devices

BootStomp: On the Security of Bootloaders in Mobile Devices

Constant Size Ring Signature Without Random Oracle