msoos / grainofsaltLinks
Grain of Salt equation generator
☆16Updated 3 years ago
Alternatives and similar repositories for grainofsalt
Users that are interested in grainofsalt are comparing it to the libraries listed below
Sorting:
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 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 10 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 3 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆23Updated 9 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- CRYPTOGAMS distribution repository☆62Updated last month
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆37Updated 10 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.☆73Updated 8 years ago
- ☆38Updated 8 years ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- advanced unix-like hexadecimal editor and debugger☆39Updated last year
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 8 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 7 years ago
- Syscall Firewalls for VM Isolation☆11Updated 8 years ago
- QARMA block cipher in C☆31Updated 3 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- estimate peak virtual memory use☆18Updated 7 months ago
- GPL Number Field Sieve implementation☆36Updated 14 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Test and benchmark repository for Z3.☆28Updated last week
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago