Biblio

Export 2 results:
Filters: Author is Nadim Kobeissi  [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).