Matches in SemOpenAlex for { <https://semopenalex.org/work/W2559503775> ?p ?o ?g. }
- W2559503775 endingPage "57" @default.
- W2559503775 startingPage "21" @default.
- W2559503775 abstract "Norway used e-voting in its last political election both in September 2011 and September 2013, with more than 28,000 voters using the e-voting option in 2011, and 70,000 in 2013. While some other countries use a black-box, proprietary voting solution, Norway has made its system publicly available. The underlying protocol, designed by Scytl, involves several authorities (a ballot box, a receipt generator, a decryption service, and an auditor). Of course, trusting the correctness and security of e-voting protocols is crucial in that context. In this paper, we propose a formal analysis of the protocol used in Norway, w.r.t. ballot secrecy, considering several corruption scenarios. We use a state-of-the-art definition of ballot secrecy, based on equivalence properties and stated in the applied pi-calculus." @default.
- W2559503775 created "2016-12-08" @default.
- W2559503775 creator A5070402905 @default.
- W2559503775 creator A5074393614 @default.
- W2559503775 date "2017-03-16" @default.
- W2559503775 modified "2023-10-16" @default.
- W2559503775 title "A formal analysis of the Norwegian E-voting protocol" @default.
- W2559503775 cites W106529588 @default.
- W2559503775 cites W1479744988 @default.
- W2559503775 cites W1586571813 @default.
- W2559503775 cites W1588028307 @default.
- W2559503775 cites W1654227282 @default.
- W2559503775 cites W1712244114 @default.
- W2559503775 cites W1973054120 @default.
- W2559503775 cites W1979418580 @default.
- W2559503775 cites W2001874371 @default.
- W2559503775 cites W2042609207 @default.
- W2559503775 cites W2055259417 @default.
- W2559503775 cites W2069391950 @default.
- W2559503775 cites W2072210640 @default.
- W2559503775 cites W2100705134 @default.
- W2559503775 cites W2104270509 @default.
- W2559503775 cites W2112450338 @default.
- W2559503775 cites W2117064875 @default.
- W2559503775 cites W2142976113 @default.
- W2559503775 cites W2172018206 @default.
- W2559503775 cites W2520834878 @default.
- W2559503775 cites W30845534 @default.
- W2559503775 cites W4250314891 @default.
- W2559503775 cites W1882506943 @default.
- W2559503775 doi "https://doi.org/10.3233/jcs-15777" @default.
- W2559503775 hasPublicationYear "2017" @default.
- W2559503775 type Work @default.
- W2559503775 sameAs 2559503775 @default.
- W2559503775 citedByCount "12" @default.
- W2559503775 countsByYear W25595037752017 @default.
- W2559503775 countsByYear W25595037752018 @default.
- W2559503775 countsByYear W25595037752019 @default.
- W2559503775 countsByYear W25595037752021 @default.
- W2559503775 countsByYear W25595037752022 @default.
- W2559503775 countsByYear W25595037752023 @default.
- W2559503775 crossrefType "journal-article" @default.
- W2559503775 hasAuthorship W2559503775A5070402905 @default.
- W2559503775 hasAuthorship W2559503775A5074393614 @default.
- W2559503775 hasBestOaLocation W25595037752 @default.
- W2559503775 hasConcept C142724271 @default.
- W2559503775 hasConcept C151730666 @default.
- W2559503775 hasConcept C167654663 @default.
- W2559503775 hasConcept C17744445 @default.
- W2559503775 hasConcept C178489894 @default.
- W2559503775 hasConcept C199360897 @default.
- W2559503775 hasConcept C199539241 @default.
- W2559503775 hasConcept C204787440 @default.
- W2559503775 hasConcept C2776452267 @default.
- W2559503775 hasConcept C2777094542 @default.
- W2559503775 hasConcept C2779343474 @default.
- W2559503775 hasConcept C2780385302 @default.
- W2559503775 hasConcept C2780612046 @default.
- W2559503775 hasConcept C33884865 @default.
- W2559503775 hasConcept C38652104 @default.
- W2559503775 hasConcept C41008148 @default.
- W2559503775 hasConcept C520049643 @default.
- W2559503775 hasConcept C55439883 @default.
- W2559503775 hasConcept C71924100 @default.
- W2559503775 hasConcept C86803240 @default.
- W2559503775 hasConcept C94625758 @default.
- W2559503775 hasConceptScore W2559503775C142724271 @default.
- W2559503775 hasConceptScore W2559503775C151730666 @default.
- W2559503775 hasConceptScore W2559503775C167654663 @default.
- W2559503775 hasConceptScore W2559503775C17744445 @default.
- W2559503775 hasConceptScore W2559503775C178489894 @default.
- W2559503775 hasConceptScore W2559503775C199360897 @default.
- W2559503775 hasConceptScore W2559503775C199539241 @default.
- W2559503775 hasConceptScore W2559503775C204787440 @default.
- W2559503775 hasConceptScore W2559503775C2776452267 @default.
- W2559503775 hasConceptScore W2559503775C2777094542 @default.
- W2559503775 hasConceptScore W2559503775C2779343474 @default.
- W2559503775 hasConceptScore W2559503775C2780385302 @default.
- W2559503775 hasConceptScore W2559503775C2780612046 @default.
- W2559503775 hasConceptScore W2559503775C33884865 @default.
- W2559503775 hasConceptScore W2559503775C38652104 @default.
- W2559503775 hasConceptScore W2559503775C41008148 @default.
- W2559503775 hasConceptScore W2559503775C520049643 @default.
- W2559503775 hasConceptScore W2559503775C55439883 @default.
- W2559503775 hasConceptScore W2559503775C71924100 @default.
- W2559503775 hasConceptScore W2559503775C86803240 @default.
- W2559503775 hasConceptScore W2559503775C94625758 @default.
- W2559503775 hasIssue "1" @default.
- W2559503775 hasLocation W25595037751 @default.
- W2559503775 hasLocation W25595037752 @default.
- W2559503775 hasLocation W25595037753 @default.
- W2559503775 hasLocation W25595037754 @default.
- W2559503775 hasLocation W25595037755 @default.
- W2559503775 hasLocation W25595037756 @default.
- W2559503775 hasOpenAccess W2559503775 @default.
- W2559503775 hasPrimaryLocation W25595037751 @default.
- W2559503775 hasRelatedWork W1969494152 @default.
- W2559503775 hasRelatedWork W2019613772 @default.