Karthikeyan Bhargavan
Roles
Role | Group | |
---|---|---|
Tech Advisor | Usable Formal Methods Research Group (ufmrg) | karthikeyan.bhargavan@inria.fr |
RFCs (2)
RFC | Date | Title | Cited by |
---|---|---|---|
RFC 7627 | Sep 2015 | Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension | 15 RFCs |
RFC 9180 | Feb 2022 | Hybrid Public Key Encryption | 1 RFC |