Static validation of a voting protocol

zbMATH Open1272.94086MaRDI QIDQ2848486FDOQ2848486

Authors Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson 

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050553

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• Electronic Voting: How Logic Can Help
• Programming Languages and Systems
• Verifying privacy-type properties of electronic voting protocols: a taster
• One vote is enough for analysing privacy
• Static analysis for blinding

Cited in

(3)

• Programming Languages and Systems
• Static analysis for blinding
• Verifying privacy-type properties of electronic voting protocols: a taster

This page was built for publication: Static validation of a voting protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848486)