N
Repositories
Select a repository to view its commits, contributors, and more.public
Decomposition-zk
Fully formalised zero-knowledge protocols derived from the notion of decomposition (MPC) protocols
eC
2
1
0
Updated 2 years ago
public
OpenVoteNetwork
SSProve formalization of security properties of the Open Vote Network
Coq
0
0
0
Updated 2 years ago
public
zmk-config
C
0
0
0
Updated 3 years ago
public
thesis
Formalisation of Sigma-protocols and commitment schemes in EasyCrypt
TeX
0
0
0
Updated 4 years ago
public
aoc2020
Haskell
0
0
0
Updated 4 years ago
public
secco
Clojure
0
0
0
Updated 6 years ago
public
nsidorenco.github.io
HTML
0
0
0
Updated 3 years ago
public
csgo_events
Elixir application for fetching and parsing Counter-Strike: Global Offensive events
Elixir
0
0
0
Updated 8 years ago