• 85 Citations
  • 5 h-Index
20142019
If you made any changes in Pure these will be visible here soon.

Research Output 2014 2019

  • 85 Citations
  • 5 h-Index
  • 9 Conference proceeding
  • 6 Article
  • 4 Paper
  • 2 Chapter
Filter
Conference proceeding
2019
37 Downloads (Pure)

Attack Defense Trees with Sequential Conjunction

Nguyen, H. N., Bryans, J. & Shaikh, S., 25 Mar 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Jiang, C., Nguyen, V. & Yu, D. (eds.). IEEE, Vol. 2019-January. p. 247-252 6 p. (Proceedings / IEEE International Symposium on High-Assurance Systems Engineering. IEEE International Symposium on High-Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Demonstrations
Semantics
Air
Chemical analysis
1 Citation (Scopus)
35 Downloads (Pure)

Developing a QRNG ECU for automotive security: Experience of testing in the real-world

Nguyen, H. N., Tavakoli, S., Shaikh, S. & Maynard, O., 6 Jun 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 61-68 8 p. 8728946

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Open Access
File
Testing
Railroad cars
Communication

Probabilistic resource-bounded alternating-time temporal logic

Nguyen, H. N. & Rakib, A., May 2019, International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 2141-2143 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Probabilistic logics
Temporal logic
Semantics
2018
3 Citations (Scopus)

Formalising Systematic Security Evaluations using Attack Trees for Automotive Applications

Cheah, M., Nguyen, H. N., Bryans, J. & Shaikh, S., 2018, The 11th WISTP International Conference on Information Security Theory and Practice (WISTP'2017) September 28-29, 2017, Crete, Greece. Springer, p. 113-129 (Security and Cryptology; vol. 10741).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

2017
1 Citation (Scopus)

Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper

Asăvoae, I., Nguyen, H. N., Roggenbach, M. & Shaikh, S., 18 Jun 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs: Barcelona, Spain — June 18 - 23, 2017. Association for Computing Machinery (ACM), 1

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Model checking
Application programs
Computer operating systems
Semantics
2016
5 Citations (Scopus)

Combining Third Party Components Securely in Automotive Systems

Cheah, H., Shaikh, S., Bryans, J. & Nguyen, H. N., Sep 2016, Information Security Theory and Practice. Foresti, S. & Lopez, J. (eds.). Springer Verlag, Vol. 9895 LNCS. p. 262-269

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Bluetooth
Specifications
1 Citation (Scopus)

Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

Chen, L., James, P., Kirkwood, D., Nguyen, H. N., Nicholson, G. L. & Roggenbach, M., 10 Oct 2016, 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT). IEEE, p. 347-355

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Coastal zones
Rails
Bridge approaches
Formal methods
Roofs
2015
9 Citations (Scopus)

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Alechina, N., Bulling, N., Logan, B. & Nguyen, H. N., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) . Yang, Q. & Wooldridge, M. (eds.). Palo Alto: AAAI Press / International Joint Conferences on Artificial Intelligence, p. 1494-1501

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Computability and decidability
Model checking
3 Citations (Scopus)

Symbolic Model Checking for One-Resource RB+-ATL / 1069

Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) . Yang, Q. & Wooldridge, M. (eds.). Palo Alto: AAAI Press / International Joint Conferences on Artificial Intelligence, p. 1069-1075

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Model checking