Hoang Nga Nguyen

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Topics

Formal Verification

Top Venues

Publications

Don Nalin Dharshana Jayaratne, Suraj Harsha Kamtam, Siraj Ahmed Shaikh, Muhamad Azfar Ramli, Qian Lu, Rakhi Manohar Mepparambath, Hoang Nga Nguyen, Abdur Rakib
A simulation framework for automotive cybersecurity risk assessment. Simul. Model. Pract. Theory 136 (2024)
Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Jeremy W. Bryans, Charles Wartnaby
A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons. Trans. Emerg. Telecommun. Technol. 34 (11) (2023)
Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby
A formal framework for security testing of automotive over-the-air update systems. J. Log. Algebraic Methods Program. 130 (2023)
Hoang Nga Nguyen, Abdur Rakib
Formal Modelling and Verification of Probabilistic Resource Bounded Agents. J. Log. Lang. Inf. 32 (5) (2023)
Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh
Vehicular Platoon Communication: Architecture, Security Threats and Open Challenges. Sensors 23 (1) (2023)
Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Ahmed Shaikh
Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis. Inf. 14 (9) (2023)
Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans
Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons. NOMS (2022)
Shahid Mahmood, Hoang Nga Nguyen, Siraj Ahmed Shaikh
Systematic threat assessment and security testing of automotive over-the-air (OTA) updates. Veh. Commun. 35 (2022)
Hesamaldin Jadidbonab, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Marcin Hlond, Peter Robertson, Gajinder Panesar
A Hardware-based SoC Monitoring In-life Solution for Automotive Industry. PerCom Workshops (2022)
Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price
Formalising UPTANE in CSP for Security Testing. QRS Companion (2021)
Hesamaldin Jadidbonab, Andrew Tomlinson, Hoang Nga Nguyen, Trang Doan, Siraj Ahmed Shaikh
A Real-Time In-Vehicle Network Testbed for Machine Learning-Based IDS Training and Validation. AI-Cybersec@SGAI (2021)
Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans, David Price
Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges. DSN Workshops (2021)
Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. ICST Workshops (2020)
Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou
A Template-Based Method for the Generation of Attack Trees. WISTP (2019)
Hoang Nga Nguyen, Siamak Tavakoli, Siraj Ahmed Shaikh, Oliver Maynard
Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World. ICST Workshops (2019)
Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh
Attack Defense Trees with Sequential Conjunction. HASE (2019)
Hoang Nga Nguyen, Abdur Rakib
Probabilistic Resource-bounded Alternating-time Temporal Logic. AAMAS (2019)
Hoang Nga Nguyen, Abdur Rakib
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. IJCAI (2019)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. SPIN (2018)
Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28 (4) (2018)
Harsha Kumara Kalutarage, Hoang Nga Nguyen, Siraj Ahmed Shaikh
Towards a threat assessment framework for apps collusion. Telecommun. Syst. 66 (3) (2017)
Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh
Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. WISTP (2017)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. FTfJP@ECOOP (2017)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Software Model Checking: A Promising Approach to Verify Mobile App Security. CoRR (2017)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245 (2017)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Model-checking for Resource-Bounded ATL with production and consumption of resources. J. Comput. Syst. Sci. 88 (2017)
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Towards Automated Android App Collusion Detection. IMPS@ESSoS (2016)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) (2016)
Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen
Combining Third Party Components Securely in Automotive Systems. WISTP (2016)
Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail (2016)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. FMICS-AVoCS (2016)
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Towards Automated Android App Collusion Detection. CoRR (2016)
Nils Bulling, Hoang Nga Nguyen
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. PRIMA (2015)
Nils Bulling, Hoang Nga Nguyen
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. CoRR (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Leonardo Mostarda
Symbolic Model-checking for Resource-Bounded ATL. AAMAS (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Symbolic Model Checking for One-Resource RB+-ATL. IJCAI (2015)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI (2015)
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Decidable Model-Checking for a Resource Logic with Production of Resources. ECAI (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96 (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach
Safety and Line Capacity in Railways - An Approach in Timed CSP. IFM (2012)
Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen
Railway modelling in CSP||B: the double junction case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. Haifa Verification Conference (2012)