Frédéric Besson 1 AuthorId : 448251 Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : frederic-besson
Alexandre Dang 1 AuthorId : 11299848 Author
Thomas Jensen 1 AuthorId : 512164 Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Computer Science [cs] / Programming Languages [cs.PL] Computer Science [cs] / Cryptography and Security [cs.CR]
UNIV-RENNES1 | CNRS | CENTRALESUPELEC | IRISA | INRIA | UNIV-RENNES | UR1-UFR-ISTIC | INSA-RENNES