Cap unification: application to protocol security modulo homomorphic encryption.

Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michal Rusinowitch

Browse the full CCS paper archive.