Thomas Jensen 1 AuthorId : 578228 Author Employer institution : Centre National de la Recherche Scientifique
Computer Science [cs] / Logic in Computer Science [cs.LO] Computer Science [cs] / Programming Languages [cs.PL] Computer Science [cs] / Cryptography and Security [cs.CR]
CNRS | UNIV-RENNES1 | INRIA | IRISA | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-RENNES | UR1-MATH-NUM | INRIA2