Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. David Basin

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

Projects

As Applicant
- Completed projects
  - Formale Methoden und ihre Anwendungen in verschiedenen Entwurfsphasen zur Sicherheit in Softwarearchitekturen im E-Commerce (Research Grants)
  - Develop and mechanize a multi-modal logic (based on the awareness and belief of agents) for specifying and analyzing protocols and their properties (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy