06.26.08

More monad exceptions for OCaml

Publié dans Informatique / Computer science, OCaml, Recherche / Research tagged , , , , , , , , , , , , , , , , , , , , , , à 11:38 par yoric

A new version of the exception monad for OCaml is now available for download. It’s now richer, comes with extensive syntactic sugar and a brand new system of compile-time optimizations. More on this in the corresponding research paper — and whenever I find the time, on this blog.

06.19.08

Extrapol and Korset

Publié dans Extrapol, In English / En anglais, Informatique / Computer science, OCaml, Recherche / Research, Sûreté / Security tagged , , , , , , , , , , , , , , , , , , , , , à 10:57 par yoric

A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wool promising features comparable to Extrapol. While I must admit I’m slightly skeptical about the promise of “provable zero false alarm” — since the problem is undecidable, usually people tend to develop “provably complete” rather than “provably sound” analysis — it sounds like an interesting development.

Now, from what I understand, Korset will be presented to Blackhat in a few months, and the rules of the conference forbid the developers from giving away any detail. Until then, we have no way of comparing the unreleased Extrapol and the equally unreleased Korset.

Note: the tarball for the first prototype of Extrapol is waiting on my hard-drive for release clearance. I hope I’ll be able to release it next Tuesday or Wednseday. Stay tuned.

06.18.08

Firefox 3 est sorti

Publié dans En français / In French, Firefox, Informatique / Computer science tagged à 2:23 par yoric

Le titre de ce billet devrait se suffire. Pour consulter la liste des améliorations récentes ou télécharger cette nouvelle version, rendez-vous sur getfirefox.com.

06.17.08

Extrapol source code available (not)

Publié dans Extrapol, In English / En anglais, Informatique / Computer science, OCaml, Recherche / Research, Sûreté / Security, batteries included tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , à 4:08 par yoric

A quick note to inform you that the repository for Extrapol is now public. The source code as available on the repository does not have a licence yet and will not compile as such, due to dependencies on libraries available somewhere else. Stay tuned for an actual release.

Update: Sorry, repository cut off by the administrator. I’ll inform you when the sources are back.

Note rapide pour vous informer que le code source d’Extrapol est maintenant disponible au public. Il ne s’agit pas encore d’une version officielle — en particulier, le code n’a pas encore de licence et il manque des bibliothèques (disponibles ailleurs). Plus de détails dès qu’une version officielle est disponible.

Additif: Désolé, je viens d’apprendre que le dépôt de source a été isolé par l’administrateur. Je vous tiendrai au courant dès que le code source est de nouveau public.

L’appel du 19 juin

Publié dans En français / In French, Enseignement, Recherche / Research, Société tagged , , , , , , , , , , , , , , , , , , , , , , , , à 9:12 par yoric

Sans commentaires :

Appel du 19 juin

Au passage, je pense que ceci fera une bonne entrée pour le jeu permanent “En entendrons-nous parler ?” Ça y est, j’ai fini mon tour. Aux médias.

06.16.08

Gentils camionneurs contre méchants fonctionnaires

Publié dans En français / In French, Société tagged , , , , , , , , , , , , , , , , , , , , , , à 10:52 par yoric

Suite du jeu “en entendrons-nous parler ?”, commencé dans le billet précédent. Cette fois-ci, la question concerne les méchants employés de la SNCF, qui ne font rien qu’à prendre les usagers en otages, par opposition aux gentils camionneurs, qui eux organisent des opérations escargot.

Aujourd’hui, c’était le début des épreuves écrites du bac, le journal télévisé en a abondamment parlé. C’était aussi le jour d’une opération escargot que les sympathiques camionneurs ont décidé de ne commencer qu’après le début des épreuves. Ce point aussi a été abondamment mentionné par le journal télévisé. Et c’était aussi le jour d’une grève de la SNCF, qui n’a elle-même pas commencé avant 9h du matin, heure à laquelle les candidats étaient normalement tous face à leurs copies.

Donc, pour l’épreuve numéro deux de “En entendrons-nous parler ?”, je propose le sujet : entendrons-nous parler du fait que les employés de la SNCF n’a pas commencé elle non plus avant le début des écrits ?

Question subsidiaire : sachant que le journal télévisé a dit et répété que les camionneurs faisaient grève contre la hausse des prix du carburant (circonstance sur laquelle le gouvernement ne peut pas grand chose), le journal télévisé mentionnera-t-il la raison de la grève de la SNCF ? Pour information, il s’agissait de la défense des 35h, qui elle est liée à la politique du Parti au Pouvoir.

06.14.08

En entendrons-nous parler ?

Publié dans En français / In French, Enseignement, Société tagged , , , , , , , , , , , , , , , , , , , à 8:00 par yoric

Tiens, j’ai décidé de me lancer dans un nouveau jeu. Je vais l’appeler “en entendrons-nous parler ?” C’est un jeu entre moi, le Parti au Pouvoir, les médias et l’actualité.

Voici les règles :

  1. quelque chose vient d’arriver — quelque chose d’important, avec des implications politiques
  2. si le journal de 20h en parle, j’ai perdu.

Un jeu simple mais je sens que je vais gagner assez souvent.

Allez, je commence : dans la nuit de vendredi à samedi, 650 écoles ont été occupées par des parents d’élèves, pour lutter contre les 11900 suppressions de poste décidées par le Parti au Pouvoir. L’occupation s’est faite, paraît-il, dans une ambiance bonne enfant, avec pyjamas et doudous. Pour plus de détails, je vous renvoie sur le site de la Nuit des Écoles.

Ça y est, j’ai fini de jouer. Au tour du journal télévisé et du Parti au Pouvoir.

P.S.: Au fait, mon blog a été ouvert il y a un an et trois jours. Du coup, ceci est aussi un billet de blog-anniversaire.

06.09.08

Extrapol, première partie : de C aux effets

Publié dans En français / In French, Enseignement, Extrapol, Informatique / Computer science, OCaml, Recherche / Research, Sûreté / Security tagged , , , , , , , , , , , , , , , , à 5:51 par yoric

Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version française. En quelques mots, le projet Extrapol (pour Extraction de Politiques de Sécurité) vise à combler un vide dans le jeu d’outils dont dispose l’administrateur pour maintenir un système dans un état sûr.

Lisez la suite de cette entrée »

06.03.08

Extrapol, part 1: from C to Effects

Publié dans Extrapol, In English / En anglais, Informatique / Computer science, Java, OCaml, Recherche / Research, Sûreté / Security tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , à 5:41 par yoric

Here comes the long-promised description of Extrapol, my main ongoing research project. In a few words, our objective with Extrapol is to fill a hole in the current suite of tools built to ensure the security of systems. While there’s an ample amount of stuff designed to analyse the behaviour of processes either during their execution (dynamic analysis) or after their completion (trace analysis), there is little work on applying static analysis to actual system security.

Lisez la suite de cette entrée »