Michael Goldsmith
University of Oxford(GB)University of Pennsylvania(US)
Publications by Year
Research Areas
Information and Cyber Security, Network Security and Intrusion Detection, Advanced Malware Detection Techniques, Privacy, Security, and Data Protection, Formal Methods in Verification
Most-Cited Works
- → A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate(2018)352 cited
- Modelling and analysis of security protocols(2001)
- → Understanding Insider Threat: A Framework for Characterising Attacks(2014)199 cited
- Programming in occam 2(1987)
- → Automated Insider Threat Detection System Using User and Role-Based Profile Assessment(2015)133 cited
- → What is intransitive noninterference?(2003)131 cited
- → PB-PKI: A Privacy-aware Blockchain-based PKI(2017)118 cited
- → Insider Attacks in Cloud Computing(2012)