Dear colleagues,

Due to Riemer's request to have more time before the second part of his talk, as well as due to a freshly accepted ICMT paper of Jeroen and Tijs, the next week's speaker will be Jeroen van den Bos. It will still be a SEM Colloquium presentation. The goal would be for us to help finishing the camera ready version, and perhaps for Jeroen to also practice the upcoming ICMT presentation.

  Date: 16 March 2012
  Time: 11:00
  Room: L017 (CWI)
  Speaker: Jeroen van den Bos
  Title: Domain-Specific Optimization in Digital Forensics
  Abstract: see below

----------------------------------------------------------------------
    Domain-Specific Optimization in Digital Forensics

File carvers are forensic software tools used to extract files from
storage devices in order to find evidence. Every legal case requires
different trade-offs between precision and runtime performance. The
resulting required changes to the software tools are performed
manually and under the strictest deadlines.

We present a model-driven approach to file carver development which
enables these trade-offs to be automated. By transforming high-level
file format specifications into approximations that are more
permissive, forensic investigators can trade precision for
performance, without having to change code.

Our results show that performance gains up to a factor of 3 can be
achieved, at the expense of up to 8% in precision and 5% in recall.
----------------------------------------------------------------------
                 http://event.cwi.nl/pem
----------------------------------------------------------------------

Yours,
        Vadim.