Computationally Sound Implementations of Equational Theories Against Passive Adversaries.

Mathieu Baudet, Vronique Cortier, Steve Kremer

Browse the full ICALP paper archive.