Papers
2
Total Citations
17
H-Index
2
About
No biography available yet.
Research Focus
Threat model2 · 17 citations
Computer science2 · 17 citations
Computer security2 · 17 citations
Formal verification2 · 17 citations
Model checking2 · 17 citations
Programming language2 · 17 citations
Promela2 · 17 citations
STRIDE2 · 17 citations
Security analysis2 · 17 citations
Theoretical computer science2 · 17 citations
Focus (optics)1 · 12 citations
Formal methods1 · 12 citations
Key Achievements
2
H-Index
2
Papers
17
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
12 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Warwick, Kingston University
Top Papers
- 1
- 2Security-Minded Verification of Cooperative Awareness Messages5 citations · 2023
Key Collaborators
Not generated yet