Beyond the Happy Path : A Safety-Critical Audit Methodology for Estonia’s I-Voting Processing Application
Treier, Tarvo
IEEE Access
2025
/
p. 203429-203443 : ill
https://doi.org//10.1109/ACCESS.2025.3638663