Besson

Results: 130



#Item
1

Verifying Resource Access Control on Mobile Interactive Devices Frédéric Besson§ Guillaume Dufay§

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2014-09-03 04:27:30
    2

    From Stack Inspection to Access Control: A Security Analysis for Libraries Fr´ed´eric Besson Microsoft Research Tomasz Blanc

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2014-09-03 04:27:27
      3

      Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2014-09-03 04:27:30
        4

        Result Certification of Static Program Analysers with Automated Theorem Provers∗ Frédéric Besson, Pierre-Emmanuel Cornilleau, and Thomas Jensen Inria Rennes – Bretagne Atlantique Campus de Beaulieu, 35042, Rennes C

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2014-09-03 04:27:29
          5

          Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex

          Add to Reading List

          Source URL: people.rennes.inria.fr

          Language: English - Date: 2014-09-03 04:27:28
            6

            Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2014-09-03 04:27:29
              7

              Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2014-09-03 04:27:28
                8

                Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2014-09-03 04:27:19
                  9

                  Under consideration for publication in J. Functional Programming 1 Interfaces for stack inspection Fr´ed´eric Besson and Thomas de Grenier de Latour and Thomas Jensen∗

                  Add to Reading List

                  Source URL: people.rennes.inria.fr

                  Language: English - Date: 2014-09-03 04:27:28
                    10

                    Polyhedral Analysis for Synchronous Languages Frdric Besson, Thomas Jensen, and Jean-Pierre Talpin Irisa/Cnrs/Inria Campus de Beaulieu, FRennes Cedex, France {fbesson,jensen,talpin}@irisa.fr

                    Add to Reading List

                    Source URL: people.rennes.inria.fr

                    Language: English - Date: 2014-09-03 04:27:20
                      UPDATE