Search Results - Beurdouche, Benjamin

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    A Messy State of the Union: Taming the Composite State Machines of TLS

    A Messy State of the Union: Taming the Composite State Machines of TLS by Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Formally Verified Cryptographic Web Applications in WebAssembly

    Formally Verified Cryptographic Web Applications in WebAssembly by Protzenko, Jonathan, Beurdouche, Benjamin, Merigoux, Denis, Bhargavan, Karthikeyan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

    EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider by Protzenko, Jonathan, Parno, Bryan, Fromherz, Aymeric, Hawblitzel, Chris, Polubelova, Marina, Bhargavan, Karthikeyan, Beurdouche, Benjamin, Choi, Joonwon, Delignat-Lavaud, Antoine, Fournet, Cedric, Kulatova, Natalia, Ramananandro, Tahina, Rastogi, Aseem, Swamy, Nikhil, Wintersteiger, Christoph M., Zanella-Beguelin, Santiago

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A messy state of the union: taming the composite state machines of TLS

    A messy state of the union: taming the composite state machines of TLS by Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim

    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:

Search Tools: