LoupVaillant / Monocypher-Handshake
Secure channels with Monocypher
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Monocypher-Handshake
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆66Updated 3 years ago
- Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction☆10Updated 5 years ago
- Plug-and-play IP rate limiter in C☆24Updated 3 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 7 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆16Updated 6 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- A tweakable block cipher☆30Updated 6 months ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆44Updated 9 years ago
- Exotic Shitty Hash Maybe☆45Updated 9 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 6 years ago
- Lightweight cryptographic hash functions (reference code)☆15Updated 10 years ago
- A simpler alternative to the Noise protocol framework.☆20Updated 3 years ago
- A really tiny crypto library.☆155Updated 4 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆101Updated 2 months ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- Tool for findings bugs in epoll-based Linux servers☆28Updated 4 years ago
- estimate peak virtual memory use☆19Updated 9 months ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 4 years ago
- picotrace - system call process tracer☆36Updated 4 years ago
- An implementation of Mike Hamburg's Ed448 (Goldilocks) curve - derived from libdecaf. This is a mirror of https://bugs.otr.im/otrv4/libgo…☆18Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- Bootstrap compiler☆44Updated 5 years ago
- Picon☆38Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago