Section: Highlights of the Year

Highlights of the Year

New major release of Plasma Lab

Participants: Axel Legay, Sean Sedwards, Louis-Marie Traonouez.

We have released version 1.4.0 of our Plasma Lab software. This new version introduces a new command line interface for launching Plasma Lab. Besides the Graphical Interface, most of Plasma Lab functionalities are now available directly from the command line. Additionally the new version includes a new algorithm for cross entropy minimization using importance sampling. It allows to estimate the probabilities of rare events.

Fault injection proof-of-concept

Participants: Axel Legay, Jean-Louis Lanet, Thomas Given-Wilson, Nisrine Jafri.

Creation of a proof of concept to show that formal verification can be used to discover fault injections induced by hardware attacks.

Creation of LHS platform

Participants: Jean-Louis Lanet, Hélène Le Bouder, Ronan Lashermes.

Entry into service of the LHS platform that can be used to monitor systems, inject faults, or reason on ransomware.

Taler Systems startup creation

Participants: Jeffrey Burdges, Florian Dold, Christian Grothoff, Marcello Stanisci.

A startup, Taler Systems S.A. was formally created, and we started the contractual paperwork required. An interview was given to RWGV-Genossenschaftsblatt (an internal publication of a large group of German banks).

Contract with CISCO

Participants: Axel Legay, Fabrizio Biondi, Thomas Given-Wilson.

Signature of a major research collaboration contract between Tamis and CISCO to work on malware analysis. The collaboration will fund 3 engineers, trips to visit CISCO and participate to conferences on the topic, as well as a powerful servers to store and analyse malware.


Axel Legay received the first Parnass award.

Christian Grothoff became an Ashoka fellow.