Cryptology ePrint Archive: Report 2005/074
Available versions in chronological order
20050308:104403 (posted 08-Mar-2005 10:44:03 UTC)
Computationally sound implementations of equational theories against passive adversaries
Mathieu Baudet and V{\'e}ronique Cortier and Steve Kremer
20081230:123149 (posted 30-Dec-2008 12:31:49 UTC)
Computationally sound implementations of equational theories against passive adversaries
Mathieu Baudet and V{\'e}ronique Cortier and Steve Kremer
Publication Info: preprint submitted to Elsevier
[
Cryptology ePrint archive
]