kyechou

mimesis

Automated model extraction for network functions

aur-python-pysmt-git

aur

aur-cage-git

aur-containernet-git

aur-everforest-gtk-theme-git

aur-gruvbox-theme-git

aur-intelxed

aur-kanagawa-gtk-theme-git

aur-mbuild

aur-mininet

aur-mininet-git

aur-ns3

aur-openhue-cli

aur-python-ccsyspath

aur-python-cxxfilt-git

aur-python-iptables-git

aur-python-pypacker

aur-python-pypcap

aur-spin-git

aur-tron

aur-wllvm-git

ebpf

eBPF practice / experiment testbed

klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

kyechou.github.io

nextcloud

pihole

pwnat

The only tool and technique to punch holes through firewalls/NATs where both clients and server can be behind separate NATs without any 3rd party involvement. Pwnat uses a newly developed technique, exploiting a property of NAT translation tables, with no 3rd party, port forwarding, DMZ, router administrative requirements, STUN/TURN/UPnP/ICE, or spoofing required.

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

unifi

Docker compose files for unifi network application