Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers Cuellar Jorge Heftet / 2014 / Engelsk
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers Cuellar Jorge Heftet / 2013 / Engelsk
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Cuellar Jorge Heftet / 2008 / Engelsk
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers Cuellar Jorge Heftet / 2011 / Engelsk
