Pinned Loading

1. nix-dots nix-dots Public

   wtf is a computer pls help

   Nix 17

2. sctpfm sctpfm Public

   Forked from sctpfm/sctpfm

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

   Promela 3

3. EdwardBerman/SoJ EdwardBerman/SoJ Public

   [NeurIPS ML4PS 2024, Oral Spotlight] The State of Julia for Scientific Machine Learning

   Julia 2 1

4. EdwardBerman/EquiUQ EdwardBerman/EquiUQ Public

   [NeurReps 2025, TMLR Under Review] On Uncertainty Calibration for Equivariant Functions

   Python 3 1

5. icmp-backdoor icmp-backdoor Public

   An ICMP listener and reverse shell

   C 4 1

6. signal-proofs signal-proofs Public

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

   Nix 1