Publications (after 2015):

                         Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch,
                        "Unification modulo Lists with Reverse, Relation with Certain Word Equations",
                         CADE-27 - The 27th International Conference on Automated Deduction,
                          Springer-Verlag LNCS/LNAI (11716). pp. 1-17, Springer. 08. 2019.

                         Siva Anantharaman, Sabine Frittella, Benjamin Nguyen,
                         "Privacy Analysis with a Distributed Transition System and a Data-Wise Metric"

                     Privacy in Statistical Databases (PSD). PSD 2022, PARIS, France,
                     Lecture Notes in Computer Science, pp. 15-30, Springer. 09. 2022.

                   Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
                    "Distributed Transition Systems with Tags for Privacy Analysis"
                     CoRR abs/2204.02602 (2022) https://doi.org/10.48550/arXiv.2204.02602

             Some publications (before 2015):

            Siva Anantharaman, Chris Bouchard, Paliath Narendran, Michael 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, Int. Federation of Comp. Logic, 2014.
            Siva Anantharaman, Sardar Erbatur, Christopher Lynch, P.aliath Narendran, Michael Rusinowitch,
                 "Unification modulo Synchronous Distributivity",
                 Proc. of the 6th Int. Conf. on Automated Reasoning, IJCAR 2012, LNCS 7364, Springer-Verlag, pp. 14-29.
            Siva Anantharaman, Chris Bouchard, Paliath Narendran, Michael 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.
            Siva Anantharaman, Paliath Narendran, Michael 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.
            Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael 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)
            Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch,
                 "Cap Unification: Application to Protocol Security modulo Homomorphic Encryption",
                 Proc. of the 5th ACM SIGSAC Int. Symposium ASIACCS 2010, pp. 192-203
            Siva Anantharaman,
                 "Compression vs Queryability - A Case Study", Proc. of Dagstuhl Seminar 08261,
                 "Structure-Based Compression of Complex Massive Data", November 2008.
            Siva Anantharaman, Paliath Narendran, Michael. Rusinowitch,
                 "Intruders with Caps",
                 Proc. of the 18th Int. Conf. RTA 2007, LNCS 4533, Springer-Verlag, pp. 20-35
            Barbara Fila, Siva Anantharaman,
                 "Automata for Positive Core XPath Queries on Compressed Documents",
                 Proc. of 13th Int. Conf. LPAR 2006, LNAI 4246, Springer-Verlag, pp. 467-481.
            Siva Anantharaman, Paliath Narendran, Michael Rusinowitch,
                 "Closure properties and Decision problems of Dag Automata",
                 Information Processing Letters, Vol. 94, pp. 231-240, 2005.
            Siva Anantharaman, Jing Chen, Gaétan 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.
            Siva Anantharaman, Paliath Narendran, Michael Rusinowitch,
                 "Unification Modulo ACUI Plus Distributivity Axioms",
                 Journal of Automataed Reasoning, Vol. 33(1), pp. 1-28, 2004.