Sites Inria

English version

Séminaire Prosecco

Séminaire Prosecco - Object Capabilities, Effects, and Abstraction

  • Date : 26/11/2018
  • Lieu : Salle Flajolet, bât C, 1er étage
  • Intervenant(s) : Jonathan Aldrich
  • Organisateur(s) : Equipe Prosecco

Object Capabilities, Effects, and Abstraction

Jonathan Aldrich, Carnegie Mellon University 

Comprendre comment un programme et ses composants utilisent les ressources systèmes est un challenge en ce qui concerne les problèmes de sécurité. 

Le séminaire présentera abordera notamment le langage de programmation Wyvern, conçu de A à Z pour prendre en charge un modèle sécurisé.

Mots-clés : Séminaire Prosecco Programme Sécurité Modèle

Haut de page

Suivez Inria