Mubarak, Saleh A. (2) Docter, Quentin, Buhagiar, Jon (1) Docter, Quentin, Fuchs, Cory (1) Chapple, Mike (university Of Notre Dame), Seidl, David (miami University; University Of Notre Dame) (1) Gollmann, Dieter (technical University Of Hamburg-harburg) (1)