Michael Backes, Birgit Pfitzmann. Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. IACR Cryptology ePrint Archive, 2004:59, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.