Popular repositories Loading

1. revizor revizor Public archive

   Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs

   Python 42 5

2. leakage-model-testing leakage-model-testing Public

   Python 10

3. riscv-contract-synthesis riscv-contract-synthesis Public

   A toolchain to synthesize leakage contracts automatically for RISC-V open-source processors.

   Verilog 8 1

4. revizor-artifact revizor-artifact Public archive

   Revizor's artifact evaluation submission

   Shell 4 4

5. x86-executor x86-executor Public

   C 3 3