Demonstration of the paper "Software countermeasures for control flow integrity of smart card C codes" published in ESORICS 2014.