Automatic verification of transparency protocols (extended version)

Vincent Cheval, José Moreira, Mark Ryan

Transparency protocols are protocols whose actions can be publicly monitored by observers (such observers may include regulators, rights advocacy groups, or the general public). Th…