Véronique Cortier 1AuthorPersonId : 830860
Martin Abadi 2Author
Computer Science [cs] / Cryptography and Security [cs.CR]
CNRS | INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM