msoos / grainofsalt
Grain of Salt equation generator
☆16Updated 2 years ago
Alternatives and similar repositories for grainofsalt:
Users that are interested in grainofsalt are comparing it to the libraries listed below
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- sign elf binaries with GPG☆18Updated 8 years ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- CRYPTOGAMS distribution repository☆56Updated 5 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Fuzzer and benchmarker for UTF-8 validators☆12Updated 4 years ago
- Fuzzing compression libraries☆19Updated 9 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- Parser for the llvm bitcode format☆59Updated last month
- 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…☆36Updated 10 years ago
- A library for disassembling x86-64 binaries.☆41Updated last week
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- Analysis and generation of substitutions☆23Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- A tweakable block cipher☆31Updated 11 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- estimate peak virtual memory use☆18Updated 3 weeks ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 10 months ago
- A small DFA for under 16 states☆51Updated 6 years ago