selected publications

• chapter

  • A Secure Architecture for Smart Meter Systems.  Lecture Notes in Computer Science. 2012

• conference paper

  • Architecture description language based retargetable symbolic execution.  Design, Automation, and Test in Europe. 241-246. 2015