Siva Anantharaman

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 3

Top Topics

Transition Systems

Top Venues

Log. Methods Comput. Sci.

Publications

Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. PSD (2022)
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
Distributed Transition Systems with Tags for Privacy Analysis. CoRR (2022)
Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Lists with Reverse Relation with Certain Word Equations. CADE (2019)
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Log. Methods Comput. Sci. 10 (1) (2014)
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Synchronous Distributivity. IJCAR (2012)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. J. Autom. Reason. 48 (2) (2012)
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Chaining. LATA (2012)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
String Rewriting and Security Analysis: An Extension of a Result of Book and Otto. J. Autom. Lang. Comb. 16 (2-4) (2011)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Cap unification: application to protocol security modulo homomorphic encryption. AsiaCCS (2010)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Homomorphic Encryption. FroCoS (2009)
Siva Anantharaman
Compression vs Queryability - A Case Study. Structure-Based Compression of Complex Massive Data (2008)
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch
Unification modulo Homomorphic Encryption is Decidable. UNIF (2008)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Intruders with Caps. RTA (2007)
Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch
Editorial. J. Autom. Lang. Comb. 11 (1) (2006)
Barbara Fila, Siva Anantharaman
Automata for Positive Core XPath Queries on Compressed Documents. LPAR (2006)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Closure properties and decision problems of dag automata. Inf. Process. Lett. 94 (5) (2005)
Siva Anantharaman, Jing Chen, Gaétan Hains
A Synchronous Process Calculus for Service Costs. SEFM (2005)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Plus Distributivity Axioms. J. Autom. Reason. 33 (1) (2004)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
Unification Modulo ACU I Plus Homomorphisms/Distributivity. CADE (2003)
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch
ACID-Unification Is NEXPTIME-Decidable. MFCS (2003)
Siva Anantharaman, Gilles Richard
A Rewrite Mechanism for Logic Programs with Negation. Theor. Comput. Sci. 192 (1) (1998)
Ta Chen, Siva Anantharaman
STORM: A MAny-to-One Associative-Commutative Matcher. RTA (1995)
Siva Anantharaman, Gilles Richard
A Rewrite Mechanism for Logic Programs with Negation. RTA (1995)
Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin
Experiments with Associative-Commutative Discrimination Nets. IJCAI (1995)
Siva Anantharaman, Jieh Hsiang
Automated Proofs of the Moufang Identities in Alternative Rings. J. Autom. Reason. 6 (1) (1990)
Siva Anantharaman, Maria Paola Bonacina
An Application of Automated Equational Reasoning to Many-valued Logic. CTRS (1990)
Siva Anantharaman, Nirina Andrianarivelo
Heuristical Criteria in Refutational Theorem Proving. DISCO (1990)
Siva Anantharaman, Jieh Hsiang, Jalel Mzali
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA (1989)