Reza Soltani
Scholar

Reza Soltani

Google Scholar ID: tFbidccAAAAJ
Ph.D. student, University of Twente
Cyber-physical systemFormal MethodsSafety & SecurityCybersecurity
Citations & Impact
All-time
Citations
54
 
H-index
5
 
i10-index
2
 
Publications
16
 
Co-authors
5
list available
Resume (English only)
Academic Achievements
  • Published several papers including 'Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics' (2024), 'Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors' (2023), and more.
Research Experience
  • Works as a PhD candidate at the University of Twente, involved in multiple research projects such as querying attack-fault-defense trees in smart grid and aerospace case studies, optimal spare management via statistical model checking in research reactors, etc.
Education
  • Pursuing a PhD at the University of Twente, supervised by M. Lopuhaä-Zwakenberg and M. Stoelinga.
Background
  • Research interests include Computer Science, Side Channel Attack, Cyber Physical Systems, Case Study of Attackers, Industry 4.0, and Risk Mitigation. Specializes in Engineering and Production.