Prototyping Formal Methods Tools: A Protocol Analysis Case Study. - Abigail Siegel; Mia Santomauro; Tristan Dyer; Tim Nelson; Shriram Krishnamurthi (Protocols, Strands, and Logic, 2021)