Login / Signup
Alexander Staves
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 7
Top Topics
Petri Net
Control System
Proof Theory
Defeasible Logic
Top Venues
Int. J. Crit. Infrastructure Prot.
CoRR
IFIP Networking
Comput. Secur.
</>
Publications
</>
Richard Derbyshire
,
Sam Maesschalck
,
Alexander Staves
,
Benjamin Green
,
David Hutchison
To me, to you: Towards Secure PLC Programming through a Community-Driven Open-Source Initiative.
EuroS&P Workshops
(2023)
Sam Maesschalck
,
Alexander Staves
,
Richard Derbyshire
,
Benjamin Green
,
David Hutchison
Walking under the ladder logic: PLC-VBS: a PLC control logic vulnerability scanning tool.
Comput. Secur.
127 (2023)
Alexander Staves
,
Sam Maesschalck
,
Richard Derbyshire
,
Benjamin Green
,
David Hutchison
Learning to Walk: Towards Assessing the Maturity of OT Security Control Standards and Guidelines.
IFIP Networking
(2023)
Sam Maesschalck
,
Alexander Staves
,
Richard Derbyshire
,
Benjamin Green
,
David Hutchison
Snakes and Ladder Logic: PLC-VBS, a PLC Control Logic Vulnerability Discovery Tool.
CoRR
(2022)
Alexander Staves
,
Tom Anderson
,
Harry Balderstone
,
Benjamin Green
,
Antonios Gouglidis
,
David Hutchison
A Cyber Incident Response and Recovery Framework to Support Operators of Industrial Control Systems.
Int. J. Crit. Infrastructure Prot.
37 (2022)
Thomas Miller
,
Alexander Staves
,
Sam Maesschalck
,
Miriam Sturdee
,
Benjamin Green
Looking back to look forward: Lessons learnt from cyber-attacks on Industrial Control Systems.
Int. J. Crit. Infrastructure Prot.
35 (2021)
Alexander Staves
,
Harry Balderstone
,
Benjamin Green
,
Antonios Gouglidis
,
David Hutchison
A Framework to Support ICS Cyber Incident Response and Recovery.
ISCRAM
(2020)