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