Service

• External reviewer for DATE 2022, CHES 2018

Presentations

• Opacity properties and SMT solvers
  Poster session - SecDays Workshop, Rennes, France, January 2019

• Opacity properties and SMT solvers
  Presentation at the 1st Workshop Protection du code et des données, obfuscation & whitebox cryptography, Paris-Saclay, France, December 2018

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