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
Fingerprint
- 1 Similar Profiles
Network
Projects
- 7 Finished
-
-
-
ResiCAV: ResiCAV -Resilient CAV
Nguyen, H. N., Shaikh, S., Bryans, J. & Innocente, M.
1/01/20 → 31/03/20
Project: Research
-
-
-
A Hardware-based SoC Monitoring In-life Solution for Automotive Industry
Jadidbonab, H., Nguyen, H. N., Shaikh, S., Hlond, M., Robertson, P. & Panesar, G., 6 May 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022: 6th International Workshop on Security, Privacy and Trust in the Internet of Things (SPT-IoT). IEEE, p. 637-642 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
A Realtime In-Vehicle Network Testbed for Machine Learning-Based IDS Training and Validation
Jadidbonab, H., Tomlinson, A., Nguyen, H. N., Doan, T. & Shaikh, S., 19 Apr 2022, 41st SGAI International Conference on Artificial Intelligence proceedings. CEUR Workshop ProceedingsResearch output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile119 Downloads (Pure) -
How System Failures and Ransomwares Affect Drivers’ Trust and Attitudes in an Automated Car? A Simulator Study
Payre, W., Perello March, J., Sabaliauskaite, G., Jadidbonab, H., Shaikh, S., Nguyen, H. N. & Birrell, S., 2022, (Accepted/In press) International Conference on Human Interaction & Emerging Technologies: IHIET 2022.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons
Taylor, S. J., Ahmad, F., Nguyen, H. N., Shaikh, S. & Evend, D., 2022, Proceedings of the IEEE/IFIP Network Operations and Management Symposium 2022: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (eds.). IEEE, p. 1-6 6 p. (Proceedings of the IEEE/IFIP Network Operations and Management Symposium 2022: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile5 Downloads (Pure) -
Systematic threat assessment and security testing of automotive over-the-air (OTA) updates
Mahmood, S., Nguyen, H. N. & Shaikh, S., Jun 2022, In: Vehicular Communications. 35, 22 p., 100468.Research output: Contribution to journal › Article › peer-review
Open AccessFile32 Downloads (Pure)