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
- 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
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆31Updated 8 months ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 8 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- CRYPTOGAMS distribution repository☆61Updated last month
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 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
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Framework for building transparent memory encryption and authentication solutions☆27Updated 7 years ago
- BAT KEM/Signature Reference Implementation☆23Updated 3 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆13Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- AVX2 Chacha implementation☆16Updated 11 years ago
- A tweakable block cipher☆31Updated last year
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- QARMA block cipher in C☆30Updated 3 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 9 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- ☆37Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago