Blogs sur: Selinux

Extrapol and Korset

yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, code analysis, complete

Extrapol source code available (not)

yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#

Extrapol, première partie : de C aux effets

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

Mots-clefs : En Français | in French, Enseignement, Extrapol, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Administration système, Informatique

Extrapol, part 1: from C to Effects

yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wo … more →

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, Java, OCaml, Recherche / Research, Sûreté / Security, C#, coding

MLS for Thunderbird, final word (for now)

yoric wrote 1 year ago: As mentioned a few times, I have (had) two students working on a Thunderbird extension to support co … more →

Mots-clefs : Enseignement, firefox, In English | en Anglais, Informatique - Computer Science, Recherche / Research, Sûreté / Security, javascript, Thunderbird, xul

MLS for Thunderbird, updated

yoric wrote 1 year ago: A few months ago, I introduced “MLS for Thunderbird“, an on-going effort to add support … more →

Mots-clefs : firefox, In English | en Anglais, Informatique - Computer Science, Thunderbird, Security, confidentiality, Research, Extension, Mozilla

JavaScript Security Extensions for Firefox2 comments

yoric wrote 1 year ago: This entry is a brief presentation of an on-going work in progress by my second group of students in … more →

Mots-clefs : Enseignement, firefox, In English | en Anglais, Informatique - Computer Science, Sûreté / Security, Air, Internet Explorer, javascript, Mac

MLS for Thunderbird or "O gosh, perhaps I shouldn't have sent confidential info to a public mailing-list"4 comments

yoric wrote 1 year ago: This entry is a brief presentation of an on-going work in progress by a group of my students in ENSI … more →

Mots-clefs : firefox, Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, confidentiality, eMail, Extension, javascript


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “selinux”:
Technorati Del.icio.us IceRocket