TY  - RPRT
TI  - Automatic verification of transparency protocols (extended version)
AU  - Vincent Cheval
AU  - José Moreira
AU  - Mark Ryan
PY  - 2023
UR  - https://arxiv.org/abs/2303.04500
ID  - 2303.04500
ER  -