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
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 4 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 8 years ago
- CRYPTOGAMS distribution repository☆64Updated 3 months ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- advanced unix-like hexadecimal editor and debugger☆39Updated 2 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Hardware random number generator for FPGAs☆10Updated 10 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- A self-contained firewall checker☆108Updated 4 years ago
- a RTE-free X.509 parser☆63Updated 3 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 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
- Analysis and generation of substitutions☆25Updated last month
- Secure Coding Validation Suite☆16Updated 6 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
- Fuzzing compression libraries☆20Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 8 years ago
- estimate peak virtual memory use☆18Updated 8 months ago
- QARMA block cipher in C☆31Updated 3 years ago
- AVX2 Chacha implementation☆16Updated 12 years ago