Cryptology ePrint Archive: Report 2009/267

Available versions in chronological order

20090609:144959 (posted 09-Jun-2009 14:49:59 UTC): Simulation based security in the applied pi calculus; Stéphanie Delaune and Steve Kremer and Olivier Pereira

[ Cryptology ePrint archive ]