Some publications (from 2004):
S. Anantharaman, C. Bouchard, P. Narendran, M. Rusinowitch,
"Unification modulo a 2-sorted Equational Theory for
Cipher-Decipher Block Chaining",
Logical Methods in Computer Science, Vol. 10(1:5). pp. 1-26,
International Federation of Computational Logic, 2014.
S. Anantharaman, S. Erbatur, C. Lynch, P. Narendran, M. Rusinowitch,
"Unification modulo Synchronous Distributivity",
Proc. of the 6th Int. Conf. on Automated Reasoning, IJCAR 2012, LNCS 7364,
Springer-Verlag, pp. 14-29.
S. Anantharaman, C. Bouchard, P. Narendran, M. Rusinowitch,
"Unification modulo Chaining",
Proc. of the 6th Int. Conf. on Languages and Automata Theory
and Applications, LATA 2012, LNCS 7183,
Springer-Verlag, pp. 70-82.
S. Anantharaman, P. Narendran, M. Rusinowitch,
"String rewriting and Security analysis: an extension
of a result of Book and Otto",
Journal of Automata, Languages and Combinatorics,
Vol. 16(2-4). pp. 83-98. 2012.
S. Anantharaman, H. Lin, C. Lynch, P. Narendran, M. Rusinowitch,
"Unification modulo Homomorphic Encryption",
Journal of Automated Reasoning Vol. 48(2), pp. 135-158, 2012.
(Short version: Proc. of the 7th Int. Conf. FroCos 2009, LNAI 5749,
Springer-Verlag, pp. 100-115)
S. Anantharaman, H. Lin, C. Lynch, P. Narendran, M. Rusinowitch,
"Cap Unification: Application to Protocol Security modulo
Homomorphic Encryption",
Proc. of the 5th ACM SIGSAC Int. Symposium ASIACCS 2010,
pp. 192-203
S. Anantharaman,
"Compression vs Queryability - A Case Study",
Proc. of Dagstuhl Seminar 08261, "Structure-Based Compression
of Complex Massive Data", November 2008.
S. Anantharaman, P. Narendran, M. Rusinowitch,
"Intruders with Caps",
Proc. of the 18th Int. Conf. RTA 2007, LNCS 4533,
Springer-Verlag, pp. 20-35
B. Fila, S. Anantharaman,
"Automata for Positive Core XPath Queries on Compressed
Documents",
Proc. of 13th Int. Conf. LPAR 2006, LNAI 4246,
Springer-Verlag, pp. 467-481.
S. Anantharaman, P. Narendran, M. Rusinowitch,
"Closure properties and Decision problems
of Dag Automata",
Information Processing Letters, Vol. 94, pp. 231-240, 2005.
S. Anantharaman, J. Chen, G. Hains,
"A Synchronous Process Calculus for Service Costs",
Proc. of 3rd IEEE Int. Conf. on Software Engineering and
Formal Models, SEFM 2005, pp. 435-445.
S. Anantharaman, P. Narendran, M. Rusinowitch,
"Unification Modulo ACUI Plus Distributivity Axioms",
Journal of Automataed Reasoning, Vol. 33(1), pp. 1-28, 2004.
Member of the Working Group
IFIP-WG1.6 on Term Rewriting