Jainta Paul

According to our database, Jainta Paul authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

HyTwin: Hybrid Program Semantics for Digital Twin-Based Security Interventions in Industrial Control Systems.

Jainta Paul, Stefan Mitsch, Luis Garcia

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems.

Md. Raihan Ahmed, Jainta Paul, Levi Taiji Li, Luis Garcia, Mu Zhang

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

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, 2024