.:. Browse > List by authors > Anantharaman .:.

14 documents ordered by : Date Title first author name document type Submit date

1 - 2

Unification modulo Synchronous Distributivity Anantharaman S., Erbatur S., Lynch C., Narendran P., Rusinowitch M. Dans IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning) 7364 (2012) 14--29 [hal-00684185 - version 1]

Unification modulo Chaining Anantharaman S., Bouchard C., Narendran P., Rusinowitch M. Dans The 6th International Conference on Language and Automata Theory and Applications 7183 (2012) pp. 70--82 [hal-00659027 - version 1]

String rewriting and security analysis: an extension of a result of Book and Otto Anantharaman S., Narendran P., Rusinowitch M. Journal of Automata, Languages and Combinatorics 16, 2--4 (2012) 83--98 [hal-00659009 - version 1]

Unification modulo Homomorphic Encryption Anantharaman S., Lin H., Lynch C., Narendran P., Rusinowitch M. Journal of Automated Reasoning 48, 2 (2012) 135--158 [inria-00618336 - version 1]

Unification modulo Block Chaining Anantharaman S., Bouchard C., Narendran P., Rusinowitch M. (2011) [inria-00618376 - version 1]

Cap Unification: Application to Protocol Security modulo Homomorphic Encryption Anantharaman S., Lin H., Lynch C., Narendran P., Rusinowitch M. Dans 5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010 (2010) [inria-00448703 - version 1]

Unification Modulo Homomorphic Encryption Anantharaman S., Lin H., Lynch C., Narendran P., Rusinowitch M. Dans 7th International Symposium on Frontiers of Combining Systems - FroCoS 2009 5749 (2009) 100-116 [inria-00426798 - version 1]

Intruders with Caps Anantharaman S., Narendran P., Rusinowitch M. Dans Rewriting Techniques and Applications - RTA'07 (2007) 20--35 [hal-00468721 - version 1]

Intruders with Caps Anantharaman S., Narendran P., Rusinowitch M. Version détaillée du papier accepté au RTA'07. (Version courte apparaitra dans les actes du RTA'07, dans la série LNCS, en juin 2007.) (2007) [hal-00144178 - version 1]

Journal of Automata, Languages and Combinatorics, Vol. 11(1) Anantharaman S., Hains G., Rusinowitch M., Gastin P., Mullins J. Otto-von-Guericke-Universität, D-39016 Magdeburg (Ed.) (2006) 142 [hal-00468802 - version 1]