Siva Anantharaman Hai Lin Christopher Lynch Paliath Narendran Michaël Rusinowitch Unification Modulo Homomorphic Encryption. 100-116 2009 FroCos http://dx.doi.org/10.1007/978-3-642-04222-5_6 conf/frocos/2009 db/conf/frocos/frocos2009.html#AnantharamanLLNR09