Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
0
An exploratory human-centered study of experienced users of Tamarin, ProVerif, and related protocol verifiers reveals usability barriers across the verification workflow, including difficulties debugging non-termination and performance issues, and the lack of systematic methods for validating formal models against real protocols.
