Threat model
Related papers: 7
Top Researchers
Top Cited Papers
Challenges in threat modelling of new space systems: A teleoperation use-case
Al Tariq Sheik, Ugur Ilker Atmaca, Carsten Maple, Gregory Epiphaniou
Citations: 14 • 2022
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
Citations: 12 • 2019
Security-Minded Verification of Cooperative Awareness Messages
Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
Citations: 5 • 2023
Formal Verification of Security Properties on RISC-V Processors
Czea Sie Chuah, Christian Appold, Tim Leinmueller
Citations: 5 • 2023
An exemplary attack scenario
Jana Dittmann, Bernhard Karpuschewski, Jana Fruth, M. Petzel, Richard Münder
Citations: 4 • 2010
End-to-end trustworthy ML for multidomain operations
Hassan Karim, Danda B. Rawat
Citations: 2 • 2023
Function–Threat Alignment in CPS with FAST and MITRE ATT&CK
Vjatšeslav Antipenko, Raimundas Matulevičius
Citations: 1 • 2025