Title
A tale of two models: formal verification of KEMTLS via Tamarin.
Year
Venue
DocType
2022
IACR Cryptology ePrint Archive
Journal
Volume
Citations 
PageRank 
2022
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Sofía Celi101.01
Jonathan Hoyland200.34
Douglas Stebila357848.66
Thom Wiggers401.35