An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.

Damin Aparicio-Snchez, Santiago Escobar, Ral Gutirrez, Julia Sapia

Browse the full ESORICS paper archive.