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

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…

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism

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