Login / Signup
Chibuzo Ukegbu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Control System
Cryptographic Protocols
Cooperative
Industrial Automation
Top Venues
CPS-IoT Week Workshops
EICC
</>
Publications
</>
Chibuzo Ukegbu
,
Ramesh Neupane
,
Hoda Mehrpouyan
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.
EICC
(2023)
Chibuzo Ukegbu
,
Hoda Mehrpouyan
Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.
CPS-IoT Week Workshops
(2023)