A Formally Verified NAT Stack.

Solal Pirelli, Arseniy Zaostrovnykh, George Candea

Browse the full SIGCOMM paper archive.