Pinned

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

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

   Python 17 11

2. quantile quantile Public

   Quantile is a quantitative verification framework for masked hardware implementations

   Verilog

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. jsrunner jsrunner Public

   A simple python utility for running javascript in the command line with a real browser engine.

   Python 1