Title: Information Security Group

URL: https://archiv.infsec.ethz.ch/

Description: Die Gruppe Informationssicherheit betreibt Forschung und Ausbildung zu Methoden und Werkzeugen für die Konstruktion sicherer Systeme. Dazu gehören Methoden zur Spezifikation von Systemen, zur Entwicklung von Systemen unter Wahrung der Korrektheit und zur Verifizierung oder Prüfung bestehender Systeme und Infrastrukturen. / The Information Security Group carries out research and education on methods and tools for constructing safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures.

Loading Wayback Capture Info...

Loading video data...