ITB

ITB - Experimental symmetric cipher construction with Lean 4 formal proofs of its design.

View Repository
11 Stars
0 Forks
Apache-2.0 License
Go Language
2026-11-08 Last Update
0 Open Issues
aead aead-cipher cipher cross-platform crypto-library cryptography cryptography-library deniable-encryption encryption information-security information-theoretic-security information-theory plausible plausible-deniability post-quantum post-quantum-security steganography stream-cipher symmetric-cipher symmetric-encryption
← All Security