GForge

Results: 481



#Item
91

Efficient Secure Compilation Using Micro-Policies Advisor: C˘at˘alin Hrit¸cu Institition: INRIA Paris-Rocquencourt, Prosecco Team Location: 23 Avenue d’Italie, Paris, France Language: Engl

Add to Reading List

Source URL: prosecco.gforge.inria.fr

- Date: 2015-01-06 04:42:57
    92

    SECOMP Efficient Formally Secure Compilers to a Tagged Architecture

    Add to Reading List

    Source URL: prosecco.gforge.inria.fr

    - Date: 2016-09-03 02:50:55
      93

      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

      - Date: 2016-08-28 07:29:48
        94

        Users’ manual for the Sollya tool Release 6.0 Sylvain Chevillard Christoph Lauter

        Add to Reading List

        Source URL: gforge.inria.fr

          95

          Polyphemus 1.8 User’s Guide ENPC – INRIA – EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, Pierre Tran, Ir`

          Add to Reading List

          Source URL: gforge.inria.fr

            96

            Introduction to Smalltalk - Chapter 6 - Design of applications with graphical user interfaces  Ivan TomekChapter 6 - Design of applications with graphical user interfaces Overview In this chapter, we shift ou

            Add to Reading List

            Source URL: sdmeta.gforge.inria.fr

            - Date: 2014-10-09 10:38:17
              97

              Users’ manual for the Sollya tool weeklySylvain Chevillard Christoph Lauter

              Add to Reading List

              Source URL: sollya.gforge.inria.fr

              - Date: 2016-07-30 23:08:16
                98

                Polyphemus 1.6 User’s Guide ENPC – INRIA – EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, Pierre Tran, Ir`

                Add to Reading List

                Source URL: gforge.inria.fr

                  99

                  Polyphemus 1.0 User’s Guide CEREA – ENPC / EDF R&D Meryem Ahmed de Biasi, Vivien Mallet, ´

                  Add to Reading List

                  Source URL: gforge.inria.fr

                    UPDATE