Results 11 to 20 of about 6,639 (299)
Voter Perception of Cast-as-Intended Verifiability
, 2023 The internet voting protocol deployed at Estonian political elections was enhanced by cast-as-intended vote verifyability mechanism in 2013 to reveal manipulations of the vote casting device by using a second device (most likely a mobile device as it ...
Sein, Kati +4 more
core +1 more source
SoK: Verifiability Notions for E-Voting Protocols [PDF]
, 2016 International audienceThere have been intensive research efforts in the last two decades or so to design and deploy electronic voting (e-voting) protocols and systems which allow voters and/or external auditors to check that the votes were counted ...
Kuesters, Ralf +4 more
core +3 more sources
Verifiability Experiences in Ontario’s 2022 Online Elections
, 2023 Despite being one of the biggest international users of online voting with two decades of use, Canada has tended to use non-verifiable online voting systems.
Goodman, Nicole +3 more
core +1 more source
Election Verifiability in Receipt-Free Voting Protocols [PDF]
, 2023 peer reviewedElectronic voting is a prominent example of conflicting requirements in security protocols, as the triad of privacy, verifiability and usability is essential for their deployment in practice.
BURSUC, Sergiu +3 more
core +1 more source
Election Verifiability with ProVerif
, 2023 International audienceElectronic voting systems should guarantee (at least) vote privacy and verifiability. Formally proving these two properties is challenging.
Debant, Alexandre +2 more
core +1 more source
Privacy and Transparency in Blockchain-Based Smart Grid Operations
IEEE Access, 2023 In the past few years, blockchain technology has emerged in numerous smart grid applications, enabling the construction of systems without the need for a trusted third party.
Pierpaolo Loreti +5 more
doaj +1 more source
, 2023 For the 2022 legislative elections, France made use of Internet voting for a fraction of its voters, namely French voters from abroad. For the first time, France introduced the notion of verifiability and third party. We report here the role of the third
Ruhault, Sylvain +3 more
core +1 more source
The open verifier framework for foundational verifiers [PDF]
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, 2005 We present the Open Verifier approach for verifying untrusted code using customized verifiers. This approach can be viewed as an instance of foundational proof-carrying code where an untrusted program can be checked using the verifier most natural for it instead of using a single generic type system. In this paper we focus on a specialized architecture
Bor-Yuh Evan Chang +3 more
openaire +1 more source
Extensions for Apple-Google exposure notification mechanism [PDF]
Bulletin of the Polish Academy of Sciences: Technical Sciences, 2021 We analyze the Google-Apple exposure notification mechanism designed by the Apple-Google consortium and deployed on a large number of Corona-warn apps.
Adam Bobowski +2 more
doaj +1 more source
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerwin Klein, Tobias Nipkow
openaire +2 more sources