Publications

Columbus : Android App Testing Through Systematic Callback Exploration. International Conference on Software Engineering (ICSE),  2023.

PDF Cite Code Slides Video

Understanding Security Issues in the NFT Ecosystem. Conference on Computer and Communications Security (CCS),  2022.

PDF Cite Code Slides Video

Hybrid Pruning: Towards Precise Pointer and Taint Analysis. Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA),  2022.

PDF Cite Code Slides Video

Sailfish: Vetting Smart Contract State-Inconsistency Bugs in Seconds. IEEE Symposium on Security and Privacy (IEEE S&P),  2022.

PDF Cite Code Slides Video

Bran: Reduce Vulnerability Search Space in Large Open Source Repositories by Learning Bug Symptoms. ACM ASIA Conference on Computer and Communications Security (ASIACCS),  2021.

PDF Cite

Revisiting AES-GCM-SIV: multi-user security, faster key derivation, and better bounds. Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt),  2018.

PDF Cite Slides

Constant Size Ring Signature Without Random Oracle. Australasian Conference on Information Security and Privacy (ACISP),  2015.

PDF Cite Slides

An example conference paper. In ICW.

PDF Cite Project Slides