Verifying ElectionGuard - a theoretical and empirical analysis. - Markus V. G. Jensen; Hans-Christian Kjeldsen; Andreas S. Nielsen; Niklas B. Olesen; Diego F. Aranha (E-Vote-ID (GI), 2024)