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 |