Projects per year
Personal profile
Biography
Dr Hoang Nga Nguyen is an Associate Professor and a member 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.
He was an associate member of the Verification & Validation of Autonomous Systems network. He is also a member of the European Technical Working Group on Formal Methods in Railway Control.
Research Interests
Formal methods; Simulation; Cybersecurity; Railway; Automotive; Intelligent Agents
Vision Statement
Computerised systems are integrated into every aspect of modern life. Examples are embedded controllers in automotive systems, railways, 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 and simulation-based techniques to facilitate verification and validation, respectively, of security and safety requirements. Their current applications are mainly 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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
-
-
-
ResiCAV: ResiCAV -Resilient CAV
Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.
1/01/20 → 31/03/20
Project: Research
-
-
Automotive Cybersecurity Testing: Survey of Testbeds and Methods
Mahmood, S., Nguyen, H. N. & Shaikh, S. A., 24 Mar 2021, (E-pub ahead of print) 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
-
Formalising UPTANE in CSP for Security Testing
Kirk, R., Nguyen, H. N., Bryans, J., Shaikh, S., Evans, D. & Price, D., 1 Nov 2021, (Accepted/In press). 9 p.Research output: Contribution to conference › Paper › peer-review
-
Improving productivity through servitization and digital transformation
Davies, P., Parry, G., Ignatius, J., Nguyen, H. N. & Birrell, S., May 2021, Servitization: A Pathway Towards a Resilient Productive and Sustainable Future. Bigdeli, A., Baines, T., Rapaccini, M., Saccani, N. & Adrodegari, F. (eds.). The Advanced Services Group, p. 71-78 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile24 Downloads (Pure) -
Towards Generation of Attack Trees using Machine Learning
Sowka, K. J., Cheah, M., Doan, T., Nguyen, H. N. & Shaikh, S., 24 Apr 2021, (Accepted/In press).Research output: Contribution to conference › Paper › peer-review
-
Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges
Taylor, S. J., Ahmad, F., Nguyen, H. N., Shaikh, S., Evans, D. & Price, D., 2021, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, p. 19-26 8 p. (International Conference on Dependable Systems and Networks workshops).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile11 Downloads (Pure)