Room 3505
Academic Building
Dongdong She
Assistant Professor
Department of Computer Science and Engineering
Hong Kong University of Science and Technology
dongdong@cse.ust.hk
Drop me an email if you are interested in working with me!
I received my Ph.D. at the Department of Computer Science, Columbia University working with Suman Jana and Baishakhi Ray. Before coming to Columbia, I worked with Zhiyun Qian on Android Security at the University of California, Riverside. I earned my bachelor’s degree at Huazhong University of Science and Technology.
I am broadly interested in security and machine learning. Particularly, I focus on applying data-driven approaches (e.g., large language models, machine learning, optimization) to solve security problems. Current research projects include:
- Neural-Symbolic Software Testing: advance the state-of-the-art in automated software testing techniques such as fuzzing, symbolic execution, and formal verification through developing algorithms and tools that combine neural and symbolic approaches.
- Emerging Applications: adopt data-driven approaches to solve security issues in high-impactful domains such as autonomous driving, ML system, and smart contracts.
Publications
2023
-
IEEE S&PPrecise Detection of Kernel Data Races with Probabilistic Lockset Analysis.IEEE Symposium on Security and Privacy (S&P 2023)
2022
2021
-
SecurityFine Grained Dataflow Tracking with Proximal GradientsUSENIX Conference on Security Symposium (Security 2021)
2020
-
IEEE S&PNeutaint: Efficient Dynamic Taint Analysis with Neural NetworksIEEE Symposium on Security and Privacy (S&P 2020)
2019
2016
-
CCSAndroid ION Hazard: The Curse of Customizable Memory Management SystemACM SIGSAC Conference on Computer and Communications Security (CCS 2016)
2015
-
CCSAndroid Root and Its Providers: A Double-Edged SwordACM SIGSAC Conference on Computer and Communications Security (CCS 2015)