Hoang Nga Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
15
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | NOMS | Safety, Stability and Environmental Impact of FDI Attacks on Vehicular Platoons. | Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans |
| 2022 | PERCOM | A Hardware-based SoC Monitoring In-life Solution for Automotive Industry. | Hesamaldin Jadidbonab, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Marcin Hlond, Peter Robertson, Gajinder Panesar |
| 2021 | DSN | Vehicular Platoon Communication: Cybersecurity Threats and Open Challenges. | Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, David Evans, David Price |
| 2021 | QRS | Formalising UPTANE in CSP for Security Testing. | Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price |
| 2021 | SGAI | A Real-Time In-Vehicle Network Testbed for Machine Learning-Based IDS Training and Validation. | Hesamaldin Jadidbonab, Andrew Tomlinson, Hoang Nga Nguyen, Trang Doan, Siraj Ahmed Shaikh |
| 2020 | ICST | A Model-Based Security Testing Approach for Automotive Over-The-Air Updates. | Shahid Mahmood, Alexy Fouillade, Hoang Nga Nguyen, Siraj A. Shaikh |
| 2019 | IJCAI | A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. | Hoang Nga Nguyen, Abdur Rakib |
| 2019 | ICST | Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World. | Hoang Nga Nguyen, Siamak Tavakoli, Siraj Ahmed Shaikh, Oliver Maynard |
| 2019 | WISTP | A Template-Based Method for the Generation of Attack Trees. | Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou |
| 2017 | ECOOP | Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2017 | WISTP | Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications. | Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh |
| 2016 | FMICS | Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2016 | ISoLA | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2016 | WISTP | Combining Third Party Components Securely in Automotive Systems. | Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen |
| 2015 | IJCAI | On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. | Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen |
| 2015 | IJCAI | Symbolic Model Checking for One-Resource RB+-ATL. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2015 | PRIMA | Model Checking Resource Bounded Systems with Shared Resources via Alternating Bchi Pushdown Systems. | Nils Bulling, Hoang Nga Nguyen |
| 2014 | ECAI | Decidable Model-Checking for a Resource Logic with Production of Resources. | Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2013 | SEFM | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2012 | IFM | Safety and Line Capacity in Railways - An Approach in Timed CSP. | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |