.:. Browse > List by authors > Lin .:.

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

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]

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]

Active Intruders with Caps Anatharaman S., Lin H., Lynch C., Narendran P., Rusinowitch M. Dans FCS-ARSPA-WITS'08 (2008) [inria-00330532 - version 1]