Michael Locasto

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 5

Top Topics

Random Variables

Automated Tools

Top Venues

Critical Infrastructure Protection

Publications

Tim Ellis, David Balenson, Michael Locasto
Cyber Security Awareness Requirements for Operational Technology Systems. Critical Infrastructure Protection (2021)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) (2020)
Tim Ellis, Michael Locasto, David Balenson
Cyber State Requirements for Design and Validation of Trust in the Critical Transportation Infrastructure. Critical Infrastructure Protection (2020)
Michael Locasto, David Balenson
A Comparative Analysis Approach for Deriving Failure Scenarios in the Natural Gas Distribution Infrastructure. Critical Infrastructure Protection (2019)