Gergei Bana, Pedro Adão, Hideki Sakurada. Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker. IACR Cryptology ePrint Archive, 2012:316, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.