full record print

Beyond the Happy Path : A Safety-Critical Audit Methodology for Estonia’s I-Voting Processing Application

author
statement of authorship
Tarvo Treier
source
publisher
journal volume number month
vol. 13
year of publication
pages
p. 203429-203443 : ill
url
ISSN
2169-3536
notes
Bibliogr.: 48 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
subject of location
keyword
auditability
end-to-end verifiability
Estonian i-voting
fault seeding
independent verification and validation
mutation testing
safety-critical system
vote processing
Treier, T. Beyond the Happy Path : A Safety-Critical Audit Methodology for Estonia’s I-Voting Processing Application // IEEE Access (2025) vol. 13, p. 203429-203443 : ill. https://doi.org//10.1109/ACCESS.2025.3638663