Pinned Loading

1. pav pav Public

   Formally verified Key Transparency system

   Rocq Prover 2 1

2. mit-pdos/perennial mit-pdos/perennial Public

   Verifying concurrent storage and distributed systems

   Rocq Prover 230 49

3. dotfiles dotfiles Public

   My dev setup!

   Lua

4. Var-CNN Var-CNN Public archive

   Code for the paper "Var-CNN: A Data-Efficient Website Fingerprinting Attack Based on Deep Learning" (PETS 2019)

   Python 51 13

5. model-checking/kani model-checking/kani Public

   Kani Rust Verifier

   Rust 3.1k 148