Pinned Loading

1. Tunable-FPGA-Bitstream-Obfuscation-Framework Tunable-FPGA-Bitstream-Obfuscation-Framework Public

   Used to perform obfuscation on FPGA circuits - input as BLIF and output as BLIF, BENCH and verilog+testbench.

   C# 7 1

2. TRNG-Test-Suite TRNG-Test-Suite Public

   NIST randomness test suite implemented in Python, optimized for bitstreams of 1 billion bits and higher.

   Python 2 2

3. Networkx-DeBruijn-Sequences Networkx-DeBruijn-Sequences Public

   Generate DeBruijn sequences for arbitrary n.

   Python 1

4. FPNN-Diversity FPNN-Diversity Public

   Framework for deploying a trained neural network as an ecosystem. Includes code to mutate a network, test its accuracy, and XOR the network with an update file.

   Python

5. DPLL-based-SAT-Solver DPLL-based-SAT-Solver Public

   Enhanced DPLL-based SAT Solver assigned as a project for Automated Reasoning (CIS 6930).

   Python