Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
Université d'Orléans
Rue Léonard de Vinci, B.P. 6759
45067 ORLEANS Cedex 2
FRANCE
Tel. +33 (0)2 38 41 73 13
Fax. +33 (0)2 38 41 71 37
E-mail: {
siva
|
Siva.Anantharaman}
@univ-orleans.fr
Position:
Emeritus Professor
Current research:
Modeling and Analyzing Cryptographic Protocols, using:
Rewriting, Unification, Deducibility Constraints (Cap Unification), ...
Publications