dj-on-github / djenrandomLinks
A C program to generate random data using several random models, with parameterized non uniformities and flexible output formats.
☆29Updated 2 weeks ago
Alternatives and similar repositories for djenrandom
Users that are interested in djenrandom are comparing it to the libraries listed below
Sorting:
- A python implementation of the SP800-22 Rev 1a PRNG test suite.☆164Updated 4 years ago
- C Quality Metrics☆66Updated 3 years ago
- Public snapshots of "ACSL by Example"☆119Updated 6 months ago
- Release snapshots of the Frama-C platform for source code analysis☆179Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.☆233Updated 6 months ago
- A reimplementation of the Fourmilab/John Walker random number test program ent with several improvements.☆15Updated 4 months ago
- a RTE-free X.509 parser☆63Updated 3 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆37Updated last year
- Some lightweight cryptography algorithms optimized for x86☆22Updated 3 years ago
- Implementations of a fast Message-Authentication Code☆120Updated 3 years ago
- Static Analyzer and Verifier☆51Updated last year
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆56Updated 4 years ago
- An interactive (fast) static source code analyzer☆178Updated 3 weeks ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- CHERI C/C++ Programming Guide☆39Updated this week
- Program for finding low gate count implementations of S-boxes.☆40Updated last year
- A tool to enable fuzzing for Spectre vulnerabilities☆31Updated 5 years ago
- Tutorials for working with seL4 and/or CAmkES.☆56Updated 4 months ago
- The GNU Superoptimizer☆27Updated 11 years ago
- ☆113Updated last year
- Formal verification of SecVisor, a secure hypervisor☆13Updated 12 years ago
- A programming language to write bitsliced ciphers☆58Updated last year
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Repository for the current status of the LESS submission☆12Updated last month
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- Implementations of the Simon and Speck Block Ciphers☆101Updated 7 years ago
- ☆74Updated 2 weeks ago