Login / Signup
Kelvin Anto
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Attack Graphs
Control Theory
Formal Methods
Attack Scenarios
Top Venues
MEMOCODE
IEEE Access
</>
Publications
</>
Kelvin Anto
,
Akshya Kumar Swain
,
Partha S. Roop
A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods.
IEEE Access
11 (2023)
Kelvin Anto
,
Partha S. Roop
,
Akshya K. Swain
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588.
MEMOCODE
(2021)