2025conference
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
Md Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, Mu Zhang
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
← Back to People
PhD Student
Jainta Paul
Graduate Research Assistant
Kahlert School of Computing, University of Utah
PhD student in Computer Science at the University of Utah, focusing on cyber-physical systems security and trustworthy AI. Jainta's research explores the intersection of symbolic reasoning and deep learning for enhanced security in industrial control systems.
Selected Publications
2025conference
HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems
Jainta Paul, Stefan Mitsch, Luis Garcia
NASA Formal Methods Symposium
2023conference
Towards Cross-Physical-Domain Threat Inference for Industrial Control System Defense Adaptation
Jainta Paul, Lawrence Ponce, Mu Zhang, Luis Garcia
Proceedings of the 2024 Workshop on Re-design Industrial Control Systems with Security
Education
B.S. Computer Science
Bangladesh University of Engineering and Technology, Bangladesh (2022)