Computationally sound implementations of equational theories against passive adversaries (0)

by Mathieu Baudet, Véronique Cortier, Steve Kremer
Venue:In Proc. 32nd Int. Coll. Automata, Languages and Programming (ICALP’2005