analyzed by Frama-C
188mentions59users
91% positivePassword managers, mesh VPNs, ad blockers, and cryptographic privacy tools.
analyzed by Frama-C
Open-source private home security camera system
Post-Quantum Cryptography for the Go Ecosystem
Using eBPF to see through encryption without a proxy
Send a secret into the future using timelock encryption
I made a binary enigma machine for manual encryption
E2EE Walkie Talkie from the Command Line
Building an End-to-End Encrypted Shazam with Homomorphic Encryption
Open-source private home security camera system