assaabloy-ppi / salt-channelLinks
The specification and the reference implementation of Salt Channel - a simple, light-weight secure channel protocol based on TweetNaCl by Bernstein.
☆14Updated 2 years ago
Alternatives and similar repositories for salt-channel
Users that are interested in salt-channel are comparing it to the libraries listed below
Sorting:
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Simple application for playing with elliptic curves☆44Updated 3 years ago
- Reference implementations (software)☆85Updated 9 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆35Updated 6 years ago
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- free crypto audit☆31Updated 8 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆34Updated 9 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆120Updated 8 years ago
- Tools for attacking cryptographic implementations.☆21Updated 9 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆29Updated 5 years ago
- AVX2 Chacha implementation☆16Updated 12 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 4 years ago
- Cymric - Portable secure random number generator☆21Updated 11 years ago
- Experiments in high-assurance crypto.☆49Updated 2 years ago
- Checking that functions are constant time with Valgrind☆194Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Recon materials☆27Updated 8 years ago
- ☆170Updated 4 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- ☆18Updated 8 years ago
- A collection of toy programs for teaching buffer overflow vulnerabilities.☆55Updated 10 years ago
- Simple proxy designed to intercept and modify connections on the transport level. This means you can also modify TLS raw bytes.☆17Updated 3 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Updated 9 years ago
- Using SGX to harden password hashing☆34Updated 9 years ago
- Work-in-progress Dissent port/rewrite for low-latency anonymous communication☆11Updated 7 years ago
- misc stuff☆19Updated 8 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- ksfinder - Retrieve exported kernel symbols from physical memory dumps☆44Updated 9 years ago