Hoang Nga Nguyen

45 papers A* 3A 3B 3C 3Journal 18Unranked 15

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