@misc{indiciae66d11ead2360, title = {Verifying Accountability for Unbounded Sets of Participants}, author = {Kevin Morio and Robert Künnemann}, year = {2021}, doi = {10.1109/csf51468.2021.00032}, url = {https://arxiv.org/abs/2006.12047}, note = {Source identifier: 2006.12047} }