[ Selected conference papers ]

A Formally Verified NAT, Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina Argyraki, and George Candea. In the ACM SIGCOMM Conference, August 2017.

Network Neutrality Inference, Zhiyong Zhang, Ovidiu Mara, and Katerina Argyraki. In the ACM SIGCOMM Conference, August 2014.

Software Dataplane Verification, Mihai Dobrescu and Katerina Argyraki. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2014 (Best Paper Award). Also in Communications of the ACM (CACM), Research Highlights, 58(11):113-121, November 2015. NSDI version, CACM version.

Network Tomography on Correlated Links, Denisa Ghita, Katerina Argyraki, and Patrick Thiran. In the ACM Internet Measurement Conference (IMC), November 2010.
RouteBricks: Exploiting Parallelism to Scale Software Routers [slides] [audio] [video], Mihai Dobrescu and Norbert Egi, Katerina Argyraki, Byung-Gon Chun, Kevin Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, and Sylvia Ratnasamy. In the ACM Symposium on Operating Systems Principles (SOSP), October 2009 (Best Paper Award).

[ Selected workshop papers ]

Matryoshka: Hiding Secret Communication in Plain Sight, Iris Safaka, Christina Fragouli, and Katerina Argyraki. In the USENIX Workshop on Free and Open Communications on the Internet (FOCI), August 2016.

Transparency Instead of Neutrality, Chris Pappas, Katerina Argyraki, Stefan Bechtold, and Adrian Perrig. In the ACM Workshop on Hot Topics in Networks (HotNets), November 2015.

Creating Secrets out of Thin Air, Iris Safaka, Christina Fragouli, Katerina Argyraki, and Suhas Diggavi. In the ACM Workshop on Hot Topics in Networks (HotNets), October 2012.

Providing Packet Obituaries, Katerina Argyraki, Petros Maniatis, David R. Cheriton, and Scott Shenker. In the ACM Workshop on Hot Topics in Networks (HotNets), November 2004.

[ Complete list ]