Biblio

Export 3 results:
Filters: Author is Antoine Delignat-Lavaud  [Clear All Filters]
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.