KB
149
Publications
6,489
Citations
43
h-index
84
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (82)
- Preprint (45)
- Book Chapter (17)
- Report (3)
- Book (1)
Filter by Open Access Type
- Open Access (63)
- Closed Access (86)
Filter by Authors
- Karthikeyan Bhargavan (149)
- Cédric Fournet (54)
- Antoine Delignat-Lavaud (27)
- Jonathan Protzenko (21)
- Andrew D. Gordon (20)
Filter by Topics
- Advanced Authentication Protocols Security (61)
- Cryptographic Implementations and Security (44)
- Security and Verification in Computing (44)
- User Authentication and Security Systems (35)
- Cryptography and Data Security (26)