Pinned Loading

1. IAIK/coco-alma IAIK/coco-alma Public

   CocoAlma is an execution-aware tool for formal verification of masked implementations

   Python 21 12

2. quantile quantile Public

   Quantile is a quantitative verification framework for masked hardware implementations

   Verilog 1

3. cxxsat cxxsat Public

   Enhanced C++ Interface for Sat Solvers

   C++ 3

4. nanoqbf nanoqbf Public

   A minimal implementation of an expansion-based QBF solver which does not use recursion.

   C++ 1

5. simplemod simplemod Public

   A small extendable linux kernel module based on ioctl calls. Extending the module is as simple as adding a new ioctl constant, and handling it in the kernel module.

   C 2

6. Three-Stage-AES Three-Stage-AES Public

   SystemVerilog