@techreport{BeckertEATechReport2010,
author = {Bernhard Beckert and Dennis Hofheinz and J\"{o}rn M\"{u}ller-Quade
and Alexander Pretschner and Gregor Snelting},
title = {Software Security in Virtualized Infrastructures -- The Smart Meter Example},
institution = {Karlsruhe Institute of Technology},
number = {2010-20},
note = {Available at http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1505594},
year = {2010},
month = dec,
issn = {2190-4782}
}