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

Detailseite

Institution

Druckansicht

Eidgenössische Technische Hochschule Zürich (ETH)
Institute of Information Security

Adresse Universitätsstrasse 6
8092 Zürich
Schweiz

8092 Zürich

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Develop and mechanize a multi-modal logic (based on the awareness and belief of agents) for specifying and analyzing protocols and their properties
    (Antragsteller Basin, David )
  - Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce
    (Antragsteller Basin, David )
WBP Stipendium
- laufende Projekte
  - Kryptoanalyse von mathematischen Problemen in Post-Quanten-Kryptographie und Entwicklung erweiterter Protokolle
    (Antragsteller Merz, Ph.D., Simon-Philipp )

© 2024 DFG Kontakt / Impressum / Datenschutz