Cap unification: application to protocol security modulo homomorphic encryption