mortensol

Pinned Repositories

easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml327 22 25250
acc-select
Language:eC0 1 00
du-mb-bpriv
Language:eC1 2 05
EasyCrypt
Language:eC0 0 00
easycrypt-1
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml0 0 00
EasyTeach
Examples for EasyCrypt Lectures
Language:eC0 0 00
minivoting-privacy
Privacy (ballot privacy, strong correctness, strong consistency) of Labelled-MiniVoting
Language:eC0 0 00

mortensol's Repositories

mortensol/du-mb-bpriv
Language:eC1 2 05
mortensol/acc-select
Language:eC0 1 00
mortensol/EasyCrypt
Language:eC0 0 00
mortensol/easycrypt-1
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml0 0 00
mortensol/EasyTeach
Examples for EasyCrypt Lectures
Language:eC0 0 00
mortensol/minivoting-privacy
Privacy (ballot privacy, strong correctness, strong consistency) of Labelled-MiniVoting
Language:eC0 0 00