Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Universitätsstrasse 6
8092 Zürich
Schweiz

8092 Zürich

Projects

Research Grants
- Completed projects
  - Develop and mechanize a multi-modal logic (based on the awareness and belief of agents) for specifying and analyzing protocols and their properties
    (Applicant Basin, David )
  - Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce
    (Applicant Basin, David )
WBP Fellowship
- Current projects
  - Cryptanalysis of post-quantum hardness assumptions and design of advanced protocols
    (Applicant Merz, Ph.D., Simon-Philipp )

© 2024 DFG Disclaimer / Copyright / Privacy Policy