Photo of Hoang Nga Nguyen

View Scopus Profile

Hoang Nga Nguyen

Dr

 https://orcid.org/0000-0003-0260-1697
    • Source: Scopus
    • Calculated based on no. of publications stored in Pure and citations from Scopus
    20142021

    Research activity per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Biography

    Dr Hoang Nga Nguyen is an Assistant Professor of Systems Security Group at Institute for Future Transport and Cities, Coventry University. His current research agenda includes cybersecurity in automotive and autonomous systems. His work focuses on modelling and verifying qualitative, quantitative and secure/safe properties. He has been working on several research projects, e.g., ACID on developing methods detecting collusion of Android applications, DITTO on how to model railway systems for measuring capacity, Secure CAV on the first SoC demonstrator for automotive security.

    Before, Dr Nguyen worked at the University of Nottingham and Swansea University. During this time, he involved in a couple of EPSRC-funded projects. Both involved developing methods, abstraction techniques and formal tool support. The first, VRBMAS, is for verifying resource-bounded autonomous systems. The second, SafeCap, is for large-scale railway systems.

    Currently, he is an associate member of the Verification & Validation of Autonomous Systems network. He is also a member of European Technical Working Group on Formal Methods in Railway Control.

    He has been on the PC of several international conferences and workshops. He also provides reviews for several journals. Dr Nguyen has over 50 publications.

    Research Interests

    Formal methods; Cybersecurity; Railway; Automotive; Autonomous

     

    Vision Statement

    My research interest is in the area of Software Engineering, with focus on Formal Methods. Computer systems are integrated into every aspect of modern life. Example are embedded controllers in automotive systems, railway, and medical devices. Yet, any security or safety error could lead to catastrophes. Thus, it becomes more and more crucial to detect and remove any mistake as soon as possible. My recent work is concentrating on developing model-based techniques. They facilitate the verification of security and safety requirements. Their current applications are in the transport domain and multi-agent systems.

    Fingerprint

    Dive into the research topics where Hoang Nga Nguyen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 6 Similar Profiles

    Network

    Recent external collaboration on country level. Dive into details by clicking on the dots or
    • 118 Citations
    • 6 h-Index
    • 11 Conference proceeding
    • 6 Article
    • 3 Chapter
    • 3 Paper

    • Automotive Cybersecurity Testing: Survey of Testbeds and Methods

      Mahmood, S., Nguyen, H. N. & Shaikh, S. A., 24 Mar 2021, Digital Transformation, Cyber Security and Resilience of Modern Societies. Tagarev, T., Atanassov, K. T., Kharchenko, V. & Kacprzyk, J. (eds.). Cham: Springer International Publishing, Vol. 84. p. 219-243 25 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • A Model-Based Security Testing Approach for Automotive Over-The-Air Updates

      Mahmood, S., Fouillade, A., Nguyen, H. N. & Shaikh, S., Oct 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. IEEE, Vol. (In-press). p. 6-13 8 p. 9155945. (Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020).

      Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

      Open Access
      File
      41 Downloads (Pure)

    • A Template-based Method for the Generation of Attack Trees

      Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 2 Mar 2020, Information Security Theory and Practice - 13th IFIP WG 11.2 International Conference, WISTP 2019, Proceedings. Laurent, M. & Giannetsos, T. (eds.). 1 ed. Springer, Cham , p. 155-165 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12024 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

      Open Access
      File
      5 Downloads (Pure)

    • A probabilistic logic for resource-bounded multi-agent systems

      Nguyen, H. N. & Rakib, A., 30 May 2019, (Accepted/In press) p. (In-press).

      Research output: Contribution to conference › Paper › peer-review

    • Attack Defense Trees with Sequential Conjunction

      Nguyen, H. N., Bryans, J. & Shaikh, S., 25 Mar 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Nguyen, V. & Yu, D. (eds.). IEEE, Vol. 2019-January. p. 247-252 6 p. (Proceedings / IEEE International Symposium on High-Assurance Systems Engineering. IEEE International Symposium on High-Assurance Systems Engineering).

      Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

      Open Access
      File
      3 Citations (Scopus)
      106 Downloads (Pure)
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.