Pinned Loading

1. dotfiles dotfiles Public

   My current dotfiles

   Shell 54 1

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. icmp-backdoor icmp-backdoor Public

   An ICMP listener and reverse shell

   C 1

5. j-rootkit j-rootkit Public

   A linux kernel module rootkit w/ an ICMP backdoor

   Batchfile 1

6. raft-swarm-verification raft-swarm-verification Public

   Promela Raft model used for swarm verification

   Promela