Srijanee Mookherji, Vanga Odelu, Rajendra Prasath. Modelling IBE-based Key Exchange Protocol using Tamarin Prover. IACR Cryptology ePrint Archive, 2021:1598, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.