selected publications

• chapter

  • Enhancing IoT Security in 6G Networks: AI-Based Intrusion Detection, Penetration Testing, and Blockchain-Based Trust Management (Work-in-Progress Paper).  IFIP advances in information and communication technology. 53-67. 2024
  • Using Testing Techniques for Vulnerability Detection in C Programs.  Lecture notes in computer science. 80-96. 2011

• conference paper

  • On Modeling and Testing Security Properties of Vehicular Networks.  . 42-50. 2014
  • Role based interoperability security policies in collaborative systems.  . 471-477. 2012
  • Testing Web Service Orchestrators in Context: A Symbolic Approach.  . 257-267. 2010
  • Security Rules Specification and Analysis Based on Passive Testing.  . 1-6. 2008