Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) VALS
ProvenCore: Towards a Verified Isolation Micro-Kernel
Stéphane Lescuyer

20 March 2015, 10h00 - 20 March 2015, 11h30
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche : Vérification déductive de programmes

Résumé :
We will present an ongoing project aiming at a fully secure
micro-kernel named ProvenCore
(http://www.provenrun.com/products/provencore/), currently in
development at Prove & Run. ProvenCore is typically designed to be used
as a secure world operating system in mobile devices, next to rich
operating systems such as iOS or Android. It is suitable for use as a
solid foundation for a professional application platform or a Trusted
Execution Environment, isolated from normal world applications.
ProvenCore is both developed and specified in a single specification
language called Smart. The Smart models are used to generate efficient C
code, as well as to express low- and high-level properties of the
implementation. Of particular interest are guarantees of integrity and
confidentiality for the processes running on the kernel. As part of the
presentation, we will demonstrate the main features of the Smart
language and its associated IDE
(http://www.provenrun.com/products/proventools/), both developed at
Prove & Run.

Pour en savoir plus : www.provenrun.com
Séminaires
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................