May 2021 - Our paper iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing was accepted by ISSTA 2021.
May 2021 - Our paper RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis was accepted by ISSTA 2021.
Mar 2021 - Our paper ZKCPlus: Optimized Fair-exchange ProtocolSupporting Practical and Flexible Data Exchange was accepted by ACM CCS 2021.
Feb 2021 - Our paper ROLoad: Securing Sensitive Operations with Pointee Integrity was accepted by Design Automation Conference (DAC) 2021.
Jan 2021 - Our paper VScape: Assessing and Escaping Virtual Call Protections was accepted by USENIX Security 2021.
Jan 2021 - Our paper MAZE: Towards Automated Heap Feng Shui was accepted by USENIX Security 2021.
Jan 2021 - Our paper Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems was accepted by USENIX Security 2021.
Dec 2020 - Our paper Code is the (F)Law: Demystifying and Mitigating Blockchain Inconsistency AttacksCaused by Software Bugs was accepted by INFOCOM 2021.
Sep 2020 - Our paper Weak Links in Authentication Chains: A Large-scale Analysis of Email Sender Spoofing Attacks was accepted by USENIX Security 2021.
Sep 2020 - Our paper POP and PUSH: Demystifying and Defending against (Mach) Port-Oriented Programming was accepted by NDSS 2021.
Looking for highly motivated students, postdoc, and research assistants.
Faculty positions are available as well.