Blogs about: Politiques De Securite

Blog vedette

Post-doctorat en langages de programmation

L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un poste de post-doctorat dans le … more →

Il y a du thé renversé au bord de la table

Post-doctorat en langages de programmation

yoric wrote 1 month ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du … more →

Tags : En Français | in French, Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, algèbre réduite, algèbres de processus, analyse statique

Extrapol, première partie : de C aux effets

yoric wrote 4 months ago: Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version fran … more →

Tags : Enseignement, Informatique - Computer Science, Sûreté / Security, Recherche / Research, En Français | in French, OCaml, Extrapol, SELinux, Logiciel Libre


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Find other items tagged with “politiques-de-securite”:
Technorati Del.icio.us IceRocket