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