Biblio

Export 3 results:
Filters: Author is Karthikeyan Bhargavan  [Clear All Filters]
2023
Wallez T, Protzenko J, Beurdouche B, Bhargavan K.  2023.  TreeSync: Authenticated Group Management for Messaging Layer Security. 32nd USENIX Security Symposium (USENIX Security 23). :1217--1233.
2015
Beurdouche B, Delignat-Lavaud A, Kobeissi N, Pironti A, Bhargavan K.  2015.  FLEXTLS: A Tool for Testing TLS Implementations. 9th USENIX Workshop on Offensive Technologies (WOOT 15).
2013
Bhargavan K, Delignat-Lavaud A, Maffeis S.  2013.  Language-based Defenses Against Untrusted Browser Origins. 22nd USENIX Security Symposium (USENIX Security 13). :653--670.