Gang Tan

1. Subambient Cooling of Water: Toward Real-World Applications of Daytime Radiative Cooling
   2018/10/26 by Dongliang Zhao, Ablimit Aili, Yao Zhai +5 · 5 citations
   Engineering · Environmental Science · #Atmospheric sciences #Building Energy and Comfort Optimization #Daytime #Environmental science #Geography #Meteorology #Physics #Radiative cooling #Thermal Radiation and Cooling Technologies #Urban Heat Island Mitigation
2. Soteria: Automated IoT Safety and Security Analysis
   2018/05/22 by Patrick McDaniel, Celik, Z. Berkay, Gang Tan +2 · 5 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Security and Verification in Computing #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP
   2019/10/07 by Salman Ahmed, Ahmed, Salman, Ya Xiao +10 · 2 voices
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection #Security and Verification in Computing #cs.CR
4. CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis
   2021/12/12 by Cong Sun, Xinpeng Xu, Sun, Cong +10 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Mobile and Web Applications #Opportunistic and Delay-Tolerant Networks
5. ReCFA: Resilient Control-Flow Attestation
   2021/10/22 by Yumei Zhang, Xinzhi Liu, Zhang, Yumei +12 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #cs.CR
6. NeuFair: Neural Network Fairness Repair with Dropout
   2024/07/05 by Vishnu Asutosh Dasu, Ashish Kumar, Dasu, Vishnu Asutosh +5 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
7. Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
   2026/05/25 by Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid +3 · 1 voice
   Computer Science · #cs.CR #cs.SC
8. Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
   2023/10/10 by Kaiming Huang, Mathias Payer, Huang, Kaiming +9 · 1 citation
   Computer Science · Materials Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Security and Verification in Computing
9. SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks
   2024/12/21 by Yongzhe Huang, Huang, Yongzhe, Kaiming Huang +11 · 1 citation
   Computer Science · Engineering · #Advanced Malware Detection Techniques #Electrostatic Discharge in Electronics #Security and Verification in Computing
10. Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing
    2025/03/20 by Vishnu Asutosh Dasu, Md Rafi ur Rashid, Dasu, Vishnu Asutosh +7 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling