selected publications

• academic article

  • Interactions between artificial intelligence and cybersecurity to protect future networks.  Annals of Telecommunications.  77:727-729. 2022
  • An automatically vetting mechanism for SSL error-handling vulnerability in android hybrid Web apps.  World Wide Web.  21:127-150. 2017

• chapter

  • Towards Formal Modelling and Verification of Pervasive Computing Systems.  Lecture notes in computer science. 62-91. 2014
  • Towards Formal Modelling and Verification of Pervasive Computing Systems.  Lecture notes in computer science. 62-91. 2014

• conference paper

  • Formal Analysis of Pervasive Computing Systems.  . 169-178. 2012