Professor David Basin, Leiter der Information Security Group am Departement Informatik, wurde für seine bahnbrechenden Beiträge auf dem Gebiet der formalen Methoden für die Informationssicherheit mit ...