Treffer 1 - 20 von 138 für Suche 'LAVAUD, Antoine', Suchdauer: 0,89s Treffer weiter einschränken
  1. 1
    Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

    Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS von Bhargavan, Karthikeyan, Lavaud, Antoine Delignat, Fournet, Cedric, Pironti, Alfredo, Strub, Pierre Yves


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verified low-level programming embedded in F

    Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

    Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage von Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Discovering concrete attacks on website authorization by formal analysis

    Discovering concrete attacks on website authorization by formal analysis von Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

    Veröffentlicht in Journal of computer security

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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 von Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

    Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability von Howard, Heidi, Alder, Fritz, Ashton, Edward, Chamayou, Amaury, Clebsch, Sylvan, Costa, Manuel, Delignat-Lavaud, Antoine, Fournet, Cédric, Jeffery, Andrew, Kerner, Matthew, Kounelis, Fotios, Kuppe, Markus A., Maffre, Julien, Russinovich, Mark, Wintersteiger, Christoph M.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Formal Treatment of Accountable Proxying Over TLS

    A Formal Treatment of Accountable Proxying Over TLS von Bhargavan, Karthikeyan, Boureanu, Ioana, Delignat-Lavaud, Antoine, Fouque, Pierre-Alain, Onete, Cristina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

    Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation von Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Parno, Bryan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Implementing and Proving the TLS 1.3 Record Layer

    Implementing and Proving the TLS 1.3 Record Layer von Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Jianyang Pan, Zinzindohoue, Jean Karim


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

    EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider von 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


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

    A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer von Delignat-Lavaud, Antoine, Fournet, Cedric, Parno, Bryan, Protzenko, Jonathan, Ramananandro, Tahina, Bosamiya, Jay, Lallemand, Joseph, Rakotonirina, Itsaka, Zhou, Yi


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Defensive JavaScript: Building and Verifying Secure Web Components

    Defensive JavaScript: Building and Verifying Secure Web Components von Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Key-Schedule Security for the TLS 1.3 Standard

    Key-Schedule Security for the TLS 1.3 Standard von Brzuska, Chris, Delignat-Lavaud, Antoine, Egger, Christoph, Fournet, Cédric, Kohbrok, Konrad, Kohlweiss, Markulf


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Discovering concrete attacks on website authorization by formal analysis1

    Discovering concrete attacks on website authorization by formal analysis1 von Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

    Veröffentlicht in Journal of computer security

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Formal Modeling and Verification for Domain Validation and ACME

    Formal Modeling and Verification for Domain Validation and ACME von Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Kobeissi, Nadim


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On the security of authentication protocols on the web

    On the security of authentication protocols on the web von Delignat-Lavaud, Antoine

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  17. 17
    State Separation for Code-Based Game-Playing Proofs

    State Separation for Code-Based Game-Playing Proofs von Brzuska, Chris, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohbrok, Konrad, Kohlweiss, Markulf


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    METHOD FOR COVERING THE INNER SURFACE OF A TANK

    METHOD FOR COVERING THE INNER SURFACE OF A TANK von GUELOU, Yann, LAVAUD, Antoine

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement

    Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement von Shamis, Alex, Pietzuch, Peter, Delignat-Lavaud, Antoine, Paverd, Andrew, Costa, Manuel

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Dependent types and multi-monadic effects in F

    Dependent types and multi-monadic effects in F von Swamy, Nikhil, Hriţcu, Cătălin, Keller, Chantal, Rastogi, Aseem, Delignat-Lavaud, Antoine, Forest, Simon, Bhargavan, Karthikeyan, Fournet, Cédric, Strub, Pierre-Yves, Kohlweiss, Markulf, Zinzindohoue, Jean-Karim, Zanella-Béguelin, Santiago

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: