1 paper
Tarikul Islam, Yasin Islam, Khandakar Ashrafi Akbar +1
Cryptographic protocol verification tools are widely used to analyze the security of complex protocols, yet how users interact with these tools remains comparatively understudied.…