33843 articles – 26709 Notices  [english version]
.:. Consultation > Par auteur > Anantharaman .:.
15 documents classés par :
1 - 2 Page Suivante Page Finale
fulltext access Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Anantharaman S., Bouchard C., Narendran P., Rusinowitch M.
Logical Methods in Computer Science 10, 1:5 (2014) pp. 1--26 [hal-00854841 - version 3]
Unification modulo Synchronous Distributivity
Anantharaman S., Erbatur S., Lynch C., Narendran P., Rusinowitch M.
In 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]
fulltext access 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]