Sign in
Matthew Boeding
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Control System
Formal Models
Interactive Evolutionary Computation
Cost Reduction
Top Venues
CCNC
Int. J. Crit. Infrastructure Prot.
ICSPCS
</>
Publications
</>
Matthew Boeding
,
Michael Hempel
,
Hamid Sharif
Vulnerability Identification of Operational Technology Protocol Specifications Through Formal Modeling.
ICSPCS
(2023)
Matthew Boeding
,
Michael Hempel
,
Hamid Sharif
,
Juan Lopez Jr.
,
Kalyan Perumalla
A flexible OT testbed for evaluating on-device implementations of IEC-61850 GOOSE.
Int. J. Crit. Infrastructure Prot.
42 (2023)
Matthew Boeding
,
Michael Hempel
,
Hamid Sharif
,
Juan Lopez
,
Kalyan Perumalla
A Testbed for Evaluating Performance and Cybersecurity Implications of IEC-61850 GOOSE Hardware Implementations.
CCNC
(2023)