DB
506
Publications
13,086
Citations
50
h-index
214
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (273)
- Book Chapter (175)
- Preprint (35)
- Book (12)
- Other (5)
Filter by Open Access Type
- Open Access (189)
- Closed Access (317)
Filter by Authors
- David Basin (506)
- Ralf Sasse (43)
- Cas Cremers (42)
- Adrian Perrig (39)
- Luca Viganò (37)
Filter by Topics
- Formal Methods in Verification (123)
- Logic, programming, and type systems (97)
- Advanced Authentication Protocols Security (97)
- Security and Verification in Computing (88)
- Access Control and Trust (75)