GForge

Results: 481



#Item
61Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov

Add to Reading List

Source URL: binsec.gforge.inria.fr

Language: English - Date: 2017-11-15 05:31:12
    62A Calculus for Secure Mobility Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure and Max-Planck-Institut f¨

    A Calculus for Secure Mobility Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure and Max-Planck-Institut f¨

    Add to Reading List

    Source URL: prosecco.gforge.inria.fr

    Language: English - Date: 2012-10-01 07:25:51
      63Micro-Policies: A Framework for Verified, Tag-Based Security Monitors Advisor: C˘at˘alin Hrit¸cu Institition: INRIA Paris-Rocquencourt, Prosecco Team Location: 23 Avenue d’Italie, Paris, F

      Micro-Policies: A Framework for Verified, Tag-Based Security Monitors Advisor: C˘at˘alin Hrit¸cu Institition: INRIA Paris-Rocquencourt, Prosecco Team Location: 23 Avenue d’Italie, Paris, F

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      Language: English - Date: 2014-11-30 16:58:57
      64R´eunion d’avancement du projet CHIC Programme 6 d´ecembre

      R´eunion d’avancement du projet CHIC Programme 6 d´ecembre

      Add to Reading List

      Source URL: chic.gforge.inria.fr

      Language: French - Date: 2012-03-09 08:53:19
        65F?: From Program Verification System to Proof Assistant Last updated: December 27, 2015 users of old F? had often no way to tell whether the property they were trying to verify was true or not. This problem is not specif

        F?: From Program Verification System to Proof Assistant Last updated: December 27, 2015 users of old F? had often no way to tell whether the property they were trying to verify was true or not. This problem is not specif

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2015-12-27 04:25:29
          66TLS 1.3 ProVerif CryptoVerif

          TLS 1.3 ProVerif CryptoVerif

          Add to Reading List

          Source URL: prosecco.gforge.inria.fr

          Language: English - Date: 2017-09-03 11:10:16
            67What is secure compilation? Cătălin Hrițcu Inria Paris 1

            What is secure compilation? Cătălin Hrițcu Inria Paris 1

            Add to Reading List

            Source URL: prosecco.gforge.inria.fr

            Language: English - Date: 2017-01-14 13:09:44
              68DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice Vincent Cheval, Steve Kremer, Itsaka Rakotonirina Inria & LORIA Abstract—Automated verification has become an essential part

              DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice Vincent Cheval, Steve Kremer, Itsaka Rakotonirina Inria & LORIA Abstract—Automated verification has become an essential part

              Add to Reading List

              Source URL: anr17-tecap.gforge.inria.fr

              Language: English - Date: 2018-02-12 05:14:30