Cedric

Results: 648



#Item
61

A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic

Add to Reading List

Source URL: www-sop.inria.fr

Language: English - Date: 2009-11-06 11:35:10
    62

    Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

    Add to Reading List

    Source URL: spcl.inf.ethz.ch

    Language: English - Date: 2018-05-26 10:25:42
      63

      Sexual Health in Cystic Fibrosis Produced By: Amandeep Kaur Mann, Sanjay Haresh Chotirmall, Cedric Gunaratnam and Noel Gerard McElvaney

      Add to Reading List

      Source URL: www.cfireland.ie

      Language: English - Date: 2017-03-09 10:49:31
        64

        Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS Antoine Delignat-Lavaud, Karthikeyan Bhargavan, Alfredo Pironti (Prosecco, Inria Paris) Cédric Fournet (Microsoft Research)

        Add to Reading List

        Source URL: antoine.delignat-lavaud.fr

        Language: English - Date: 2014-07-18 09:37:09
          65

          Towards a Provably Secure Implementation of TLS 1.3 Benjamin Beurdouche Karthikeyan Bhargavan Antoine Delignat-Lavaud Cédric Fournet Samin Ishtiaq Markulf Kohlweiss Jonathan Protzenko Nikhil Swamy Santiago Zanella-Bégu

          Add to Reading List

          Source URL: jonathan.protzenko.fr

          - Date: 2016-08-18 22:56:57
            66

            65 Recalling a Witness Foundations and Applications of Monotonic State DANEL AHMAN, Inria, France CÉDRIC FOURNET, Microsoft Research, UK

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              67

              CÉDRIC VILLANI Mathematician and Member of the French Parliament FOR A MEANINGFUL

              Add to Reading List

              Source URL: www.aiforhumanity.fr

              - Date: 2018-03-30 12:14:12
                68

                Everest: Towards a Verified, Drop-in Replacement of HTTPS Karthikeyan Bhargavan1 , Barry Bond2 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Chris Hawblitzel2 , Cătălin Hriţcu1 , Samin Ishtiaq2 , Markulf Kohlweiss2

                Add to Reading List

                Source URL: jonathan.protzenko.fr

                - Date: 2017-04-29 10:17:09
                  69

                  À PARAÎTRE : SUPER RAINBOW - Lisa Mandel LE TECKEL (IS BACK) - Hervé Bourhis IRRESPIRABLE - Delphine Prunault et Alice Bomboy MYSTÈRES D’ARCHIVES - Cédric Gruat et Serge Viallet RÉVOLUTIONS ANIMALES - Karine-Lou

                  Add to Reading List

                  Source URL: s3-eu-west-1.amazonaws.com

                  - Date: 2017-05-02 06:58:13
                    UPDATE