selected publications

• chapter

  • Using Testing Techniques for Vulnerability Detection in C Programs.  Lecture notes in computer science. 80-96. 2011

• conference paper

  • Security Protocol Testing Using Attack Trees.  . 690-697. 2009