Blogs sur: Surete Security

Blog vedette

Firefox, les extensions et la sécurité

Il y a environ un an, un de mes collègues travaillait sur un dispositif de communication pour les services d’urgence. Ce dispositif, prévu pour être utilisé lors de catastrophes naturelles ou d… la suite →

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

Firefox, les extensions et la sécurité — 1 comment

yoric wrote 9 months ago: Il y a environ un an, un de mes collègues travaillait sur un dispositif de communication pour les se … more →

Mots-clefs : En Français | in French, firefox, Informatique - Computer Science, Recherche / Research, Add-ons, AJAX, applications, cross-site scripting, DADVSI

Stage M2 Système et Langages de Programmation

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

Mots-clefs : 34003, En Français | in French, Informatique - Computer Science, Recherche / Research, Applications Web, bytecode, Canaux, Candidat !, Certification

Post-doctorate position in Programming Language Design

yoric wrote 10 months ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

Mots-clefs : Enseignement, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Static Analysis, Security, Research, Programming

Post-doctorat en langages de programmation

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

Mots-clefs : En Français | in French, Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, algèbre réduite, algèbres de processus, analyse statique, Applications Web

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, Blackhat, code analysis, complete, Dependent Types

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, // AST //, C#, code analysis

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, Administration système, Informatique, Linux

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 : Informatique - Computer Science, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Static Analysis, Security, SELinux

JavaScript Security Extensions for Firefox — 2 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, Informatique - Computer Science, In English | en Anglais, Air, Internet Explorer, javascript, Mac, mandatory access control

About the safety of extensions — 1 comment

yoric wrote 1 year ago: Note: By popular demand, this is the translation of a column I first wrote in French. I intend to fo … more →

Mots-clefs : firefox, In English | en Anglais


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

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