Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:computer_scientist
|
gptkbp:almaMater |
gptkb:University_of_Cambridge
gptkb:Indian_Institute_of_Technology,_Delhi |
gptkbp:award |
gptkb:CNRS_Silver_Medal
|
gptkbp:employer |
gptkb:INRIA
|
gptkbp:field |
computer security
cryptography |
https://www.w3.org/2000/01/rdf-schema#label |
Krishna Bhargavan
|
gptkbp:knownFor |
formal verification of cryptographic protocols
work on TLS protocol |
gptkbp:nationality |
gptkb:Indian
|
gptkbp:occupation |
gptkb:professor
gptkb:researchers |
gptkbp:bfsParent |
gptkb:POODLE_attack
|
gptkbp:bfsLayer |
5
|