dirk-pattinson

Pinned Repositories

AllForFun
Language:Standard ML00
EncryptionSchulze
Schulze scheme with encrypted ballots
Language:Coq00
Checker
This is for checking vote counting certificates
Language:TeX01
EvotePaper
This repository contains the LateX source of the Evote Paper.
Language:TeX00
FormaliSEConfPaper
Language:TeX00
Modular-STVCalculi
Language:Coq01
EncryptionSchulze
Schulze scheme with encrypted ballots
Language:Java1 4 11
HotSpot2021
HotSpot 2021 informal submission
Language:TeX0 3 00

dirk-pattinson's Repositories

dirk-pattinson/AllForFun
Language:Standard ML00
dirk-pattinson/EncryptionSchulze
Schulze scheme with encrypted ballots
Language:Coq00