Loading...
Last deposits
-
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⟩
-
È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⟩