Proceedings of the 4th Workshop on Embedded Systems Security - Serpanos, Dimitrios (Association for Computing Machinery, 2009)