A Formally Verified NAT.

Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea

Browse the full SIGCOMM paper archive.