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