special thx to:

Serge Vaudenay <serge.vaudenay@epfl.ch>
Marco Ricca <marco.ricca@ilionsecurity.ch>
