Hoang Nga Nguyen

Personal profile

Biography

Dr Hoang Nga Nguyen is a Research Fellow in Cybersecurity and Cyber-Physical Systems. His research is in the area of Formal Methods. His work focuses on modelling and verifying qualitative, quantitative and secure/safe properties. In the last two years, he has been in several research projects. In particular, ACID aimed at developing methods detecting collusion of Android applications. These methods are based on machine learning and model checking. Another example is Ditto, investigating how to model railway systems for measuring capacity. His active research agenda also includes cybersecurity in automotive and autonomous systems.

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 40 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.

3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

2 Active
4 Finished

KTP with IQHQ

Nguyen, H. N. & Shaikh, S.

3/02/20 → 2/08/22

Project: Research

The world’s first on-chip and in-life monitoring solution to rapidly detect cyber security threats in Connected and Autonomous Vehicles (CAVs)

Nguyen, H. N., Shaikh, S. & Bryans, J.

1/12/19 → 1/03/22

Project: Research

ResiCAV: ResiCAV -Resilient CAV

Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.

1/01/20 → 31/03/20

Project: Research

Quantum-based Secure Communications for CAVs

Nguyen, H. N. & Shaikh, S.

1/02/18 → 31/01/19

Project: Research

DITTO-secondment

Shaikh, S. & Nguyen, H. N.

1/03/17 → 31/08/17

Project: Research

Research Output

90 Citations
5 h-Index
10 Conference proceeding
6 Article
4 Paper
2 Chapter

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

Mahmood, S., Fouillade, A., Nguyen, H. N. & Shaikh, S., 29 Jan 2020, (Accepted/In press) 16th Workshop on Advances in Model Based Testing (A-MOST 2020). Vol. (In-press). p. (In-press)

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

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

A Template-based Method for the Generation of Attack Trees

Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 14 Nov 2019, (Accepted/In press).

Research output: Contribution to conference › Paper

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

Open Access

File

1 Citation (Scopus)

48 Downloads (Pure)

Developing a QRNG ECU for automotive security: Experience of testing in the real-world

Nguyen, H. N., Tavakoli, S., Shaikh, S. & Maynard, O., 6 Jun 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 61-68 8 p. 8728946

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding

Open Access

File

1 Citation (Scopus)

58 Downloads (Pure)