Projects per year
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.
Formal methods; Simulation; Cybersecurity; Railway; Automotive; Intelligent Agents
- 1 Similar Profiles
Dive into details
Select a country/territory to view shared publications and projects
- 7 Finished
15/06/20 → 30/04/21
Kirk, R., Nguyen, H. N., Bryans, J., Shaikh, S. & Wartnaby, C., 2022, (In preparation) In: Journal of Logical and Algebraic Methods in Programming. 28 p.
Research output: Contribution to journal › Article › peer-review
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
Jadidbonab, H., Tomlinson, A., Nguyen, H. N., Doan, T. & Shaikh, S., 19 Apr 2022, 41st SGAI International Conference on Artificial Intelligence proceedings. CEUR Workshop Proceedings, (CEUR Workshop Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-reviewOpen AccessFile235 Downloads (Pure)
How System Failures and Ransomwares Affect Drivers’ Trust and Attitudes in an Automated Car? A Simulator StudyPayre, W., Perello March, J., Sabaliauskaite, G., Jadidbonab, H., Shaikh, S., Nguyen, H. N. & Birrell, S., 2022, Human interaction & Emerging Technologies (IHIET): Artificial Intelligence & Future Applications. Ahram, T. & Taiar, R. (eds.). AHFE Conference, Vol. 68. p. 453–460 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-reviewOpen AccessFile27 Downloads (Pure)
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. (IEEE/IFIP Network Operations and Management Symposium).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-reviewOpen AccessFile