Activities


Service

  • External reviewer for DATE 2022, CHES 2018

Presentations

Other

  • SMT benchmarks with opaque predicates for the SMT-COMP
    Joint work with Olivier DECOURBE, Rennes, France, January 2019

  • Tracing pirate cards as part of the satellite video broadcasting
    Joint report with Ulrich AIVODJI, Pascal LEFEVRE, Brandon DRAVIE, at the 1st edition of REDOCS , Gif-sur-Yvette, France, October 2016