See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Michael Goldsmith
Cybersecurity Analytics
Concurrency Theory
Cryptographic Protocols
Model Checking
Formal Verification
About
Michael Goldsmith is an Associate Professor and Senior Research Fellow in the Cybersecurity Analytics Group at the University of Oxford. His research focuses on strengthening digital systems through advanced methods in Cybersecurity and formal verification. He works on topics such as Concurrency Theory, cryptographic protocols, Model Checking, and computer security. Through his research, he studies how complex computing systems and security protocols behave, using mathematical and logical techniques to verify that they operate correctly and remain secure against potential cyber threats.
Research Performance Summary
1987-2025
Active Research Span
First Recorded Paper
occam transformation at Oxford
Year:
1987
Citations:
12
Venue:
Proc. 7th occam User Group Technical Meeting
Latest Recorded Paper
Work in Progress: Leveraging Large Language Models for Cybersecurity Compliance: A Pilot Study in ISO 27001 Audit Planning
Year:
2025
Citations:
0
Venue:
2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Goldsmith
Creese
Nurse
Research Impact by Period
Papers
3
Citations
3
Avg. Citations / Paper
1
H-Index
1
Papers
21
Citations
345
Avg. Citations / Paper
16.4
H-Index
11
Papers
56
Citations
2106
Avg. Citations / Paper
37.6
H-Index
19
Papers
50
Citations
1608
Avg. Citations / Paper
32.2
H-Index
19
Papers
13
Citations
125
Avg. Citations / Paper
9.6
H-Index
6
Papers
11
Citations
1137
Avg. Citations / Paper
103.4
H-Index
8
Papers
4
Citations
445
Avg. Citations / Paper
111.2
H-Index
4
Papers
4
Citations
51
Avg. Citations / Paper
12.8
H-Index
2
Papers
6
Citations
484
Avg. Citations / Paper
80.7
H-Index
5
Contact and Professional Links
Detected Research Keywords
Insider Threat Detection
Security Operations Centres
Inadequacies Current Risk
Current Risk Controls
Attacks Speech Interface
Threat Detection System
Insider Attacks Cloud
Attacks Cloud Computing
Online Social Networks
Authentication Pervasive Computing