GForge

Results: 481



#Item
71Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2016-08-28 06:03:35
    72Cryptographic schemes Protocols Specifications of primitives

    Cryptographic schemes Protocols Specifications of primitives

    Add to Reading List

    Source URL: prosecco.gforge.inria.fr

    Language: English - Date: 2014-11-25 03:59:23
      73Formally Secure Compilation Last updated: October 31, 2017 General Information word and efficiently propagates and checks tags according to

      Formally Secure Compilation Last updated: October 31, 2017 General Information word and efficiently propagates and checks tags according to

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      Language: English - Date: 2017-10-31 13:48:43
        74Dependable Property-Based Testing Advisor: C˘at˘alin Hrit¸cu definitions, and countless iterations for discovering the correct lemmas and strengthening inductive invariants.

        Dependable Property-Based Testing Advisor: C˘at˘alin Hrit¸cu definitions, and countless iterations for discovering the correct lemmas and strengthening inductive invariants.

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2015-12-11 06:59:57
        75Introduction Using CryptoVerif Proof technique

        Introduction Using CryptoVerif Proof technique

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2012-10-01 07:25:57
          76Proving observational equivalence with ProVerif

          Proving observational equivalence with ProVerif

          Add to Reading List

          Source URL: prosecco.gforge.inria.fr

          Language: English - Date: 2015-07-17 07:27:58
            77Action Sp´ ecifique S´ ecurit´ e Bruno Blanchet ´ quipe Interpr´

            Action Sp´ ecifique S´ ecurit´ e Bruno Blanchet ´ quipe Interpr´

            Add to Reading List

            Source URL: prosecco.gforge.inria.fr

            Language: French - Date: 2012-10-01 07:25:51
              78Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

              Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

              Add to Reading List

              Source URL: seminaire-dga.gforge.inria.fr

              - Date: 2018-03-31 14:30:42
                79Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Add to Reading List

                Source URL: prosecco.gforge.inria.fr

                - Date: 2018-02-05 12:35:03
                  80Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                  Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                  Add to Reading List

                  Source URL: prosecco.gforge.inria.fr

                  - Date: 2018-01-07 12:12:08