Symbolic Software
Results
3
repositories owned by
Symbolic Software
kyber-k2so
85
Stars
12
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
104
Stars
6
Forks
Watchers
Command-line secure encrypted deniable cloud-synchronized notebook