| 2026 | AAAI | Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models. | Md. Rafi Ur Rashid, Vishnu Asutosh Dasu, Ye Wang, Gang Tan, Shagufta Mehnaz |
| 2026 | ACL | PseudoSeer: a Search Engine for Pseudocode. | Levent Toksoz, Mukund Srinath, Gang Tan, C. Lee Giles |
| 2025 | ACSAC | Beyond Driver Isolation - Triaging Threats against Driver Isolation. | Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan |
| 2025 | CCS | Disa: Accurate Learning-based Static Disassembly with Attentions. | Peicheng Wang, Monika Santra, Mingyu Liu, Cong Sun, Dongrui Zeng, Gang Tan |
| 2025 | ICSE | FairLay-ML: Intuitive Debugging of Fairness in Data-Driven Social-Critical Software. | Normen Yu, Luciana Carreon, Gang Tan, Saeid Tizpaz-Niari |
| 2025 | ISMAR | Probabilistic Verification of Cybersickness in Virtual Reality Through Bayesian Networks. | Peng Wu, Nasim Ahmed, Abhiram Sarma, Kaiming Huang, Rifatul Islam, Bin Li, Tian Lan, Gang Tan, Mahdi Imani |
| 2025 | MOBIHOC | Demo: Perception Graph for Cognitive Attack Reasoning in Augmented Reality. | Rongqian Chen, Shu Hong, Rifatul Islam, Mahdi Imani, Gang Tan, Tian Lan |
| 2025 | MOBIHOC | Poster: Time-Aware LSTM for Gaze Prediction in Mixed Reality Under Latency Perturbations. | Shu Hong, Rongqian Chen, Rifatul Islam, Mahdi Imani, Gang Tan, Tian Lan |
| 2025 | MOBIHOC | Validating Safety Guarantees of LSTM Models in MR Context. | Kaiming Huang, Peng Wu, Mahdi Imani, Tian Lan, Gang Tan |
| 2025 | MOBIHOC | Personalized Bayesian Networks for Cybersickness Prediction in Virtual Reality. | Peng Wu, Nasim Ahmed, Kaiming Huang, Rifatul Islam, Tian Lan, Gang Tan, Mahdi Imani |
| 2025 | SP | C2VPG: Translating Practical Context-Free Grammars into Visibly Pushdown Grammars by Order-Based Tagging. | Xiaodong Jia, Gang Tan |
| 2025 | SP | SoK: Challenges and Paths Toward Memory Safety for eBPF. | Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2024 | ACSAC | VIMU: Effective Physics-based Realtime Detection and Recovery against Stealthy Attacks on UAVs. | Yunbo Wang, Cong Sun, Qiaosen Liu, Bingnan Su, Zongxu Zhang, Michael Norris, Gang Tan, Jianfeng Ma |
| 2024 | CCS | Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects. | Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2024 | ICSE | Causal Graph Fuzzing for Fair ML Sofware Development. | Verya Monjezi, Ashish Kumar, Gang Tan, Ashutosh Trivedi, Saeid Tizpaz-Niari |
| 2024 | ISSTA | NeuFair: Neural Network Fairness Repair with Dropout. | Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan |
| 2024 | MICRO | Veiled Pathways: Investigating Covert and Side Channels Within GPU Uncore. | Yuanqing Miao, Yingtian Zhang, Dinghao Wu, Danfeng Zhang, Gang Tan, Rui Zhang, Mahmut Taylan Kandemir |
| 2023 | HotOS | Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces. | Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger |
| 2023 | ICSE | Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. | Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari |
| 2023 | MICRO | Hardware Support for Constant-Time Programming. | Yuanqing Miao, Mahmut Taylan Kandemir, Danfeng Zhang, Yingtian Zhang, Gang Tan, Dinghao Wu |
| 2023 | SP | DISV: Domain Independent Semantic Validation of Data Files. | Ashish Kumar, Bill Harris, Gang Tan |
| 2022 | CC | BinPointer: towards precise, sound, and scalable binary-level pointer analysis. | Sun Hyoung Kim, Dongrui Zeng, Cong Sun, Gang Tan |
| 2022 | ICSE | Fairness-aware Configuration of Machine Learning Libraries. | Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi |
| 2022 | Middleware | ROS-SF: A Transparent and Efficient ROS Middleware using Serialization-Free Message. | Yu-Ping Wang, Yue-Jiang Dong, Gang Tan |
| 2022 | NDSS | The Taming of the Stack: Isolating Stack Data from Memory Errors. | Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2022 | OSDI | KSplit: Automating Device Driver Isolation. | Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev |
| 2022 | SP | Certified Parsing of Dependent Regular Grammars. | John Sarracino, Gang Tan, Greg Morrisett |
| 2021 | ACSAC | ReCFA: Resilient Control-Flow Attestation. | Yumei Zhang, Xinzhi Liu, Cong Sun, Dongrui Zeng, Gang Tan, Xiao Kan, Siqi Ma |
| 2021 | NDSS | Refining Indirect Call Targets at the Binary Level. | Sun Hyoung Kim, Cong Sun, Dongrui Zeng, Gang Tan |
| 2021 | QRS | Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. | Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang |
| 2021 | RAID | iTOP: Automating Counterfeit Object-Oriented Programming Attacks. | Paul Muntean, Richard Viehoever, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert |
| 2021 | TrustCom | MazeRunner: Evaluating the Attack Surface of Control-Flow Integrity Policies. | Dongrui Zeng, Ben Niu, Gang Tan |
| 2021 | SP | Bohemia - A Validator for Parser Frameworks. | Anish Paranjpe, Gang Tan |
| 2020 | ACSAC | ρFEM: Efficient Backward-edge Protection Using Reversed Forward-edge Mappings. | Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert |
| 2020 | CCS | Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP. | Salman Ahmed, Ya Xiao, Kevin Z. Snow, Gang Tan, Fabian Monrose, Danfeng (Daphne) Yao |
| 2020 | VEE | Lightweight kernel isolation with virtualization and VM functions. | Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev |
| 2019 | ACSAC | Analyzing control flow integrity with LLVM-CFI. | Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert |
| 2019 | CCS | Program-mandering: Quantitative Privilege Separation. | Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent Jaeger, Gang Tan |
| 2019 | CCS | Towards Secure and Reliable IoT Applications. | Gang Tan |
| 2019 | NDSS | IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT. | Z. Berkay Celik, Gang Tan, Patrick D. McDaniel |
| 2019 | SP | Using Safety Properties to Generate Vulnerability Patches. | Zhen Huang, David Lie, Gang Tan, Trent Jaeger |
| 2019 | SP | CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. | Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir |
| 2018 | RAID | τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries. | Paul Muntean, Matthias Fischer, Gang Tan, Zhiqiang Lin, Jens Grossklags, Claudia Eckert |
| 2018 | TrustCom | One Secure Access Scheme Based on Trusted Execution Environment. | Yongkai Fan, Shengle Liu, Gang Tan, Xiaodong Lin, Guanqun Zhao, Jianrong Bai |
| 2018 | USENIX | Soteria: Automated IoT Safety and Security Analysis. | Z. Berkay Celik, Patrick D. McDaniel, Gang Tan |
| 2017 | CCS | PtrSplit: Supporting General Pointers in Automatic Program Partitioning. | Shen Liu, Gang Tan, Trent Jaeger |
| 2017 | CCS | CFG Construction Soundness in Control-Flow Integrity. | Gang Tan, Trent Jaeger |
| 2017 | CCS | ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation. | Ke Tian, Gang Tan, Danfeng Daphne Yao, Barbara G. Ryder |
| 2016 | SP | Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware. | Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan |
| 2015 | CCS | Per-Input Control-Flow Integrity. | Ben Niu, Gang Tan |
| 2014 | CCS | RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity. | Ben Niu, Gang Tan |
| 2014 | ECOOP | Finding Reference-Counting Errors in Python/C Programs with Affine Analysis. | Siliang Li, Gang Tan |
| 2014 | PLDI | Modular control-flow integrity. | Ben Niu, Gang Tan |
| 2013 | CCS | Efficient user-space information flow control. | Ben Niu, Gang Tan |
| 2013 | CCS | Monitor integrity protection with space efficiency and separate compilation. | Ben Niu, Gang Tan |
| 2012 | APLAS | JATO: Native Code Atomicity for Java. | Siliang Li, Yu David Liu, Gang Tan |
| 2012 | ESORICS | JVM-Portable Sandboxing of Java's Native Libraries. | Mengtao Sun, Gang Tan |
| 2012 | PLDI | RockSalt: better, faster, stronger SFI for the x86. | Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan |
| 2011 | ATC | Detection and Classification of Different Botnet C&C Channels. | Gregory Fedynyshyn, Mooi Choo Chuah, Gang Tan |
| 2011 | CCS | Poster: uPro: a compartmentalization tool supporting fine-grained and flexible security configuration. | Ben Niu, Gang Tan |
| 2011 | CCS | Combining control-flow integrity and static analysis for efficient and validated data sandboxing. | Bin Zeng, Gang Tan, Greg Morrisett |
| 2011 | OOPSLA | JET: exception checking in the Java native interface. | Siliang Li, Gang Tan |
| 2010 | APLAS | JNI Light: An Operational Model for the Core JNI. | Gang Tan |
| 2010 | CCS | Robusta: taming the native beast of the JVM. | Joseph Siefers, Gang Tan, Greg Morrisett |
| 2009 | APLAS | Weak updates and separation logic. | Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai |
| 2009 | CCS | Finding bugs in exceptional situations of JNI programs. | Siliang Li, Gang Tan |
| 2009 | ICDAR | Document Analysis Support for the Manual Auditing of Elections. | Daniel P. Lopresti, Xiang Zhou, Xiaolei Huang, Gang Tan |
| 2007 | OOPSLA | Ilea: inter-language analysis across java and c. | Gang Tan, Greg Morrisett |
| 2006 | VMCAI | A Compositional Logic for Control Flow. | Gang Tan, Andrew W. Appel |
| 2004 | ISNN | EEG Source Localization Using Independent Residual Analysis. | Gang Tan, Liqing Zhang |
| 2004 | VMCAI | Construction of a Semantic Model for a Typed Assembly Language. | Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu |