• Using Formal Methods for Modelling Cyber-Physical Systems Security 

      Nweke, Livinus Obiora (Doctoral theses at NTNU;2022:169, Doctoral thesis, 2022)
      The recent years have witnessed an increasing integration of physical systems with information and communication technology (ICT). This emerging field is usually referred to as cyber-physical systems (CPS) and has generated ...
    • Vulnerability Discovery Modelling With Vulnerability Severity 

      Ankur, Shukla; Katt, Basel; Nweke, Livinus Obiora (Peer reviewed; Journal article, 2019)
      Web browsers are primary targets of attacks because of their extensive uses and the fact that they interact with sensitive data. Vulnerabilities present in a web browser can pose serious risk to millions of users. Thus, ...