Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
media.ccc.de
Next Episodes
Prototype Fund Hardware: Einblicke & Ausblicke @ media.ccc.de
📆 2022-01-04 21:43
NetBox als Datenquelle für Netzwerkinfrastruktur @ media.ccc.de
📆 2022-01-04 21:41
Prototype Fund Hardware: Einblicke & Ausblicke - english translation @ media.ccc.de
📆 2022-01-04 21:41
