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 months 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.☆166Updated 4 years ago
- a RTE-free X.509 parser☆63Updated 3 years ago
- A reimplementation of the Fourmilab/John Walker random number test program ent with several improvements.☆15Updated 5 months ago
- Static Analyzer and Verifier☆51Updated last year
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Release snapshots of the Frama-C platform for source code analysis☆182Updated 5 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆37Updated last year
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- C Quality Metrics☆68Updated 3 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- dude, is my code constant time?☆197Updated last year
- Public snapshots of "ACSL by Example"☆121Updated 3 weeks ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆77Updated 9 months ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- A minimalistic and high-performance SAT solver☆29Updated 2 years ago
- The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.☆238Updated 8 months ago
- Improved version of the NIST Statistical Test Suite (STS)☆105Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆30Updated last week
- A repository of tools for verifying constant-timeness☆19Updated 11 months ago
- Implementations of the Simon and Speck Block Ciphers☆101Updated 7 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Updated 3 weeks ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆80Updated 2 months ago
- An interactive (fast) static source code analyzer☆180Updated 3 weeks ago
- Network Semantics☆91Updated 7 years ago
- The LTSmin model checking toolset☆61Updated last year
- Semantics of x86-64 in K☆168Updated 5 years ago
- CHERI C/C++ Programming Guide☆40Updated last week
- A static verifier for concurrent C programs☆136Updated 5 years ago