Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty. - Pierpaolo Degano; Letterio Galletta; Selene Gerali (Protocols, Strands, and Logic, 2021)