Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
SaTC: CORE: Small: Precise and Robust Binary Reverse Engineering and its Applications
Tan, G. (PI)
4/15/23 → 3/31/26
Project: Research project
-
Collaborative Research: SaTC: CORE: Small: Detecting and Localizing Non-Functional Vulnerabilities in Machine Learning Libraries
Tan, G. (PI)
4/1/23 → 3/31/26
Project: Research project
-
Semantics-Directed Binary Reverse Engineering and Transformation Validation
Tan, G. (PI)
4/18/17 → …
Project: Research project
-
SaTC: CORE: Small: Automatic Software Patching against Microarchitectual Attacks
Zhang, D. (PI), Kandemir, M. (CoPI), Tan, G. (CoPI) & Wu, D. (CoPI)
7/1/20 → 6/30/23
Project: Research project
-
CNS Core: Medium: Automated IoT Safety and Security Analysis and Synthesis
McDaniel, P. D. (PI) & Tan, G. (CoPI)
6/15/19 → 5/31/23
Project: Research project
-
Causal Graph Fuzzing for Fair ML Software Development
Monjezi, V., Kumar, A., Tan, G., Trivedi, A. & Tizpaz-Niari, S., Apr 14 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024. IEEE Computer Society, p. 402-403 2 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
Huang, K., Payer, M., Qian, Z., Sampson, J., Tan, G. & Jaeger, T., 2024, In: IEEE Security and Privacy. 22, 4, p. 40-49 10 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
PsvCNN: A Zero-Knowledge CNN Prediction Integrity Verification Strategy
Fan, Y., Xu, B., Zhang, L., Tan, G., Yu, S., Li, K. C. & Zomaya, A., Apr 1 2024, In: IEEE Transactions on Cloud Computing. 12, 2, p. 359-369 11 p.Research output: Contribution to journal › Article › peer-review
-
Sliver: A Scalable Slicing-Based Verification for Information Flow Security
Rao, X., Sun, C., Zeng, D., Huang, Y. & Tan, G., 2024, (Accepted/In press) In: IEEE Transactions on Dependable and Secure Computing. p. 1-17 17 p.Research output: Contribution to journal › Article › peer-review
-
ValidCNN: A large-scale CNN predictive integrity verification scheme based on zk-SNARK
Fan, Y., Ma, K., Zhang, L., Lei, X., Xu, G. & Tan, G., 2024, (Accepted/In press) In: IEEE Transactions on Dependable and Secure Computing. p. 1-12 12 p.Research output: Contribution to journal › Article › peer-review