Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.

Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Ralf Sasse

Browse the full PPDP paper archive.