selected publications

• chapter

  • Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses.  Lecture notes in computer science. 33-47. 2012
  • Using Requirements Engineering in an Automatic Security Policy Derivation Process.  Lecture notes in computer science. 155-172. 2012