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:
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- Test and benchmark repository for Z3.☆28Updated this week
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.☆72Updated 7 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 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
- estimate peak virtual memory use☆18Updated 4 months ago
- ☆35Updated 8 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- White-box cryptography based on FAPKC algorithm☆26Updated 6 months 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
- Checking that functions are constant time with Valgrind☆188Updated 8 years ago
- Experimental results of the strata project☆9Updated 9 years ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- ☆20Updated 5 years ago