Back From IFIP SEC 2011
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.
