Vous pouvez vous abonner à nos annonces de séminaires
                     http://gallium.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                        Amphi Turing du bâtiment 1

                         VENDREDI 28 octobre, 10h30

                              ---------------
                              Benoît Montagu
                              ---------------

                         University of Pennsylvania

                  =======================================
                  Preliminary design of the SAFE platform
                  =======================================

The goal of the SAFE project is to improve safety, security and
reliability of computer systems by redesigning the whole computer
stack (hardware, operating systems, languages, applications) with
security in mind and the pervasive use of formal methods.

This talks introduces the key ideas we intend to use, the current
state of this one year old project, and the challenges and open
questions we are confronted to.

SAFE is part of the DARPA-funded CRASH program.