93
Publications
6,601
Citations
38
h-index
63
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (51)
- Preprint (20)
- Book Chapter (18)
- Report (2)
- Book (1)
Filter by Open Access Type
- Open Access (30)
- Closed Access (63)
Filter by Authors
- Bruno Blanchet (93)
- Martı́n Abadi (13)
- Patrick Cousot (5)
- Radhia Cousot (5)
- Miriam Paiola (5)
Filter by Topics
- Advanced Authentication Protocols Security (66)
- User Authentication and Security Systems (52)
- Cryptographic Implementations and Security (33)
- Cryptography and Data Security (30)
- Formal Methods in Verification (12)