Symbolic Software

Paris, France

Pinned Repositories

chacha20-poly1305-aead
A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.
Language:Rust0 2 00
duckyzip
Provably Honest Global Linking Service
Language:Go2 3 00
enclave
Command-line secure encrypted deniable cloud-synchronized notebook
Language:Go110 5 57
kyber-k2so
Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.
Language:Go93 6 312
noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
Language:Rust7 3 26
verifpal
Cryptographic protocol analysis for real-world protocols.
Language:Go35 4 34
verifpal-nova
Verifpal extension for Panic Software's Nova editor.
0 3 00
verifpal-vscode
Verifpal for Visual Studio Code
Language:TypeScript2 4 01

symbolicsoft/enclave
Command-line secure encrypted deniable cloud-synchronized notebook
Language:Go110 5 57
symbolicsoft/kyber-k2so
Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.
Language:Go93 6 312
symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
Language:Go35 4 34
symbolicsoft/noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
Language:Rust7 3 26
symbolicsoft/duckyzip
Provably Honest Global Linking Service
Language:Go2 3 00
symbolicsoft/verifpal-vscode
Verifpal for Visual Studio Code
Language:TypeScript2 4 01
symbolicsoft/chacha20-poly1305-aead
A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.
Language:Rust0 2 00
symbolicsoft/verifpal-nova
Verifpal extension for Panic Software's Nova editor.
0 3 00