Bart De Win Seok-Won Lee Mattia Monga Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008 SESS ACM 2008 978-1-60558-042-5 db/conf/icse/sess2008.html