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:
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- SAT instance generator for SHA-1☆49Updated 5 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆16Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Simple application for playing with elliptic curves☆43Updated 3 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 8 years ago
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆38Updated 11 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
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 4 years ago
- CRYPTOGAMS distribution repository☆65Updated 5 months ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Updated 9 years ago
- ☆38Updated 8 years ago
- Generic server for collaborative code analysis☆13Updated 9 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- advanced unix-like hexadecimal editor and debugger☆40Updated 2 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 10 years ago
- QARMA block cipher in C☆31Updated 3 years ago
- Picon☆39Updated 8 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 9 years ago
- Analysis and generation of substitutions☆25Updated 3 months ago
- AVX2 Chacha implementation☆16Updated 12 years ago
- Liveness-driven random C code generator☆42Updated 6 months ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Updated 9 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☆14Updated 3 months ago
- ☆20Updated 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