A Type Theoretic Investigation of the Verification of Voting Protocols

Keyphrases

• Cryptography 100%
• Voting Protocols 100%
• Type Theory 66%
• Type Systems 33%
• Session Types 33%
• Agda 33%
• Linear Logic 33%
• Digital Voting 33%
• Semantic Security 33%
• Cryptographic 33%
• Probabilistic Algorithm 33%
• Type Isomorphism 33%
• Probability Theory 33%
• Algebraic Construction 33%
• Receipt-freeness 33%
• Capture Attacks 33%
• Systems-based 33%

Computer Science

• Type Systems 100%