• 
  Uli Fahrenberg, Axel Legay. Featured Weighted Automata. 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017), May 2017, Buenos Aires, Argentina. ⟨10.1109/FormaliSE.2017.2⟩. ⟨hal-01640074⟩
• 
  Agathe Cheriere, Lina Mortajine, Tania Richmond, Nadia El Mrabet. Exploiting ROLLO’s Constant-Time Implementations with a Single-Trace Analysis. The Twelfth International Workshop on Coding and Cryptography (WCC 2022), Mar 2022, Rostock, Germany. ⟨hal-04166720⟩
• 
  Christopher Brown, Adam Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, et al.. Semi-automatic ladderisation: improving code security through rewriting and dependent types. PEPM 2022 - ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Jan 2022, Philadelphia PA, United States. pp.14-27, ⟨10.1145/3498886.3502202⟩. ⟨hal-03805561⟩
• 
  Nicolas Bruneau, Sylvain Guilley, Annelie Heuser, Marion Damien, Olivier Rioul. Optimal side-channel attacks for multivariate leakages and multiple models. Journal of Cryptographic Engineering, 2017, 7 (4), pp.331-341. ⟨10.1007/s13389-017-0170-9⟩. ⟨hal-01629885⟩
• 
  Èloi de Chèrisey, Sylvain Guilley, Annelie Heuser, Olivier Rioul. On the optimality and practicability of mutual information analysis in some scenarios. Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2018, 10 (1), pp.101-121. ⟨10.1007/s12095-017-0241-x⟩. ⟨hal-03750327⟩

89

31