Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. David Basin

Adresse Eidgenössische Technische Hochschule Zürich (ETH)
Institute of Information Security
Universitätsstrasse 6
8092 Zürich
Schweiz

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce (Sachbeihilfen)
  - Develop and mechanize a multi-modal logic (based on the awareness and belief of agents) for specifying and analyzing protocols and their properties (Sachbeihilfen)

© 2025 DFG Kontakt / Impressum / Datenschutz