Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:education |
gptkb:Université_Pierre_et_Marie_Curie
gptkb:École_normale_supérieure |
| gptkbp:employer |
gptkb:Inria
|
| gptkbp:field |
computer security
cryptography |
| https://www.w3.org/2000/01/rdf-schema#label |
Benjamin Beurdouche
|
| gptkbp:knownFor |
formal verification of cryptographic protocols
work on TLS protocol analysis |
| gptkbp:nationality |
gptkb:French
|
| gptkbp:occupation |
crypt
|
| gptkbp:publishedIn |
ProVerif: Cryptographic protocol verifier in the formal model
A Messy State of the Union: Taming the Composite State Machines of TLS Analysis of the TLS Handshake Protocol |
| gptkbp:bfsParent |
gptkb:RFC_9250
|
| gptkbp:bfsLayer |
6
|