Section: Overall Objectives

Highlights of the Year

• We solved a problem that has been open for 15 years, relating three notions of complexity and information: Shannon information and entropy, Kolmogorov algorithmic information and Martin-Löf randomness [23] .

• We developed a tool which is able to retrieve implementations of cryptographic primitives inside a trace of a binary. This result is published at CCS [22] .

• We presented our work on behavioural malware detection using rewriting and model checking at ESORICS 2012 [20] .

• For the Alan Turing year, we published an invited paper in the journal Phil. Trans. R. Soc. [16] .