Review
Sep 2026
Understanding the Usability of Cryptographic Verification Tools
Cryptographic protocol verification tools are widely used to analyze the security of complex protocols, yet how users interact with these tools remains comparatively understudied. We present an exploratory human-centered study of experienced users of Tamarin, ProVerif, and related protocol verifiers. Our survey include...
Tarikul Islam, Y. Islam, Khandakar Ashrafi Akbar et al.
· 0 citations