Srijanee Mookherji, Vanga Odelu, Rajendra Prasath. Modelling IBE-based Key Exchange Protocol using Tamarin Prover. IACR Cryptology ePrint Archive, 2021:1598, 2021. [doi]
@article{MookherjiOP21,
title = {Modelling IBE-based Key Exchange Protocol using Tamarin Prover},
author = {Srijanee Mookherji and Vanga Odelu and Rajendra Prasath},
year = {2021},
url = {https://eprint.iacr.org/2021/1598},
researchr = {https://researchr.org/publication/MookherjiOP21},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2021},
pages = {1598},
}