msoos / grainofsalt
Grain of Salt equation generator
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for grainofsalt
- Analysis and generation of substitutions☆22Updated 2 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- Generator of "nothing-up-my-sleeve" constants☆23Updated 9 years ago
- A tweakable block cipher☆30Updated 6 months ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 7 years ago
- ☆17Updated 10 years ago
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 4 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- ☆35Updated 12 years ago
- BAT KEM/Signature Reference Implementation☆19Updated 2 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- Generic server for collaborative code analysis☆12Updated 7 years ago
- Schadcode that demonstrates a revisited hash-flooding DoS attack (cf. https://www.131002.net/siphash/).☆33Updated 11 years ago
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- A small DFA for under 16 states☆52Updated 6 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- advanced unix-like hexadecimal editor and debugger☆37Updated 11 months ago
- Haraka is a secure and efficient short-input hash function.☆52Updated 7 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 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
- Code to fuzz bignum libraries☆45Updated 6 years ago
- estimate peak virtual memory use☆19Updated 9 months ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago