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

     

E-mail: { siva | Siva.Anantharaman}@univ-orleans.fr

     
          Position: (Honorary) Professor

          Past Research interests:
Modeling and Analyzing Cryptographic Protocols, using
Rewriting, Unification, Deducibility Constraints

   Member of the Working Group IFIP-WG1.6 Term Rewriting
from its creation in 1998, till Autumn 2015   

          Current Research interests:
Probabilistic Automata with Labels and Tags
for Secrecy Analysis on Databases.
(Interpretation in Modal Logics)
          Publications