Cas J. F. Cremers. Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. IJACT, 2(2):83-99, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.