A few (recent) publications:

            S. Anantharaman, H. Lin, C. Lynch, P. Narendran, M. Rusinowitch,
                 "Unification modulo Homomorphic Encryption",
                 Journal of Automated Reasoning (2011).
                 (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, 2005, 94(231--240)
            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, 2005, pp. 435-445
            S. Anantharaman, P. Narendran, M. Rusinowitch,
                 "Unification Modulo ACUI Plus Distributivity Axioms",
                 Journal of Automataed Reasoning, 2004, 33:1(1-28)

         Member of the Working Group IFIP-WG1.6 on Term Rewriting