Back From IFIP SEC 2011

➲  Date: Thu, 16 Jun 2011 14:45:32 +0200; Tags: [ocaml; security; research].

Back from 3 days of conference in the beautiful little town of Lucerne, in Switzerland, where was the IFIP SEC 2011 conference.
Among the 24 papers presented, at least 2 where based on OCaml work. One paper (Demay et al.) uses and extends Frama-C to analyse and instrument C code; the other (ours) generates code from an OCaml program and proves security properties on it thanks to Why and Alt-Ergo.
There were funny hacker-style papers as well as boring ones (and a few which I did not understand …). I have put my notes on the conference on-line (of course made with Dibrawi). If you have comments, questions, or if you recognise yourself and do not approve what I have written, do not hesitate to drop me a line.

blog comments powered by Disqus

Sebastien Mondet


Menu:




Site generated thanks to bracetax, camlmix, sebib, and more …
Updated on Sat, 10 Dec 2011 12:46:34 -0500.
Sebastien Mondet

Powered by Caml