Pinned Loading

1. nix-config nix-config Public

   wtf is a computer pls help

   Nix 18 1

2. sctpfm sctpfm Public

   Forked from sctpfm/sctpfm

   [USENIX Security '24] Code artifacts for SCTP FM paper.

   Promela 3

3. EdwardBerman/EquiUQ EdwardBerman/EquiUQ Public

   [TMLR 2026] On Uncertainty Calibration for Equivariant Functions

   Python 3 1

4. signal-proofs signal-proofs Public

   Finally, complete mechanized proofs of Signal's PQXDH & Double Ratchet!

   Nix 1

5. j-rootkit j-rootkit Public

   A linux kernel module rootkit w/ an ICMP backdoor

   Batchfile 3

6. gcrypt-p256-malleability-poc gcrypt-p256-malleability-poc Public

   C