Symbolic Software
Results
3
repositories owned by
Symbolic Software
kyber-k2so
93
Stars
15
Forks
Watchers
Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.
verifpal
32
Stars
4
Forks
Watchers
Cryptographic protocol analysis for real-world protocols.
enclave
111
Stars
7
Forks
Watchers
Command-line secure encrypted deniable cloud-synchronized notebook