Login / Signup
Ramesh Neupane
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Cryptographic Protocols
Security Properties
Knowledge Acquisition
Formal Verification
Top Venues
EICC
ECAI
</>
Publications
</>
Chibuzo Ukegbu
,
Ramesh Neupane
,
Hoda Mehrpouyan
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.
EICC
(2023)
Ramesh Neupane
,
Hoda Mehrpouyan
An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics.
ECAI
(2022)