Siva Anantharaman

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