Katerina Argyraki
Associate Professor
katerina.argyraki@epfl.ch +41 21 693 81 32 http://nal.epfl.ch
EPFL IC IINFCOM NAL
BC 126 (Bâtiment BC)
Station 14
CH-1015 Lausanne
Web site: Web site: https://nal.epfl.ch/
Fields of expertise
Network systems
Biography
I received my PhD in Electrical Engineering in 2007 from Stanford University. As a graduate student, I was part of David Cheriton's Distributed Systems Group. I was also among the first employees of Arista Networks. I joined EPFL as a researcher in 2007, and became an assistant professor in 2011.Service
Program Committees:2021: NSDI
2019: NSDI, SIGCOMM (TPC co-chair with John Heidemann)
2018: NSDI
2016: NSDI (TPC co-chair with Rebecca Isaacs), SIGCOMM (heavy PC)
2015: NSDI, SIGCOMM, HotNets
2014: NSDI, SIGCOMM (light PC)
2013: NSDI, SIGCOMM, IMC, INFOCOM, EuroSys (heavy PC)
2012: HotNets, HotSDN, INFOCOM, OSDI (external review committee), USENIX Annual Tech, COMSNETS
2011: NSDI, SIGCOMM, IMC, INFOCOM, HotOS,
2010: USENIX Annual Tech, SIGMETRICS, PRESTO, MIDDLEWARE, ICDCS
2009: SIGCOMM Poster Session, Global Internet, ACDC
Awards
IRTF Applied Networking Research Prize
Recognizes the best recent results in applied networking, interesting new research ideas of potential relevance to the Internet standards community, and upcoming people that are likely to have an impact on Internet standards and technologies.
2020
IC Teaching Award
By the department, for excellence in teaching.
2018, 2014
Jochen Liedke Young Researcher Award
Recognizes junior European researchers who have demonstrated exceptional creativity and innovation in systems research.
2016
Starting Grant
By the Swiss National Science Foundation.
2014
Research
My lab works on fundamental questions regarding network system design:
Verifying Software Network Functions with No Verification Expertise, Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, and George Candea. In the ACM Symposium on Operating Systems Principles (SOSP), October 2019.
MorphIT: Morphing Packet Receipts for Internet Transparency, Georgia Fragkouli, Katerina Argyraki, and Bryan Ford. In the Privacy Enhancing Technologies Symposium (PETS), July 2019. IRTF Applied Networking Research Prize.
Retroactive Packet Sampling for Traffic Receipts, Pavlos Nikolopoulos, Christos Pappas, Katerina Argyraki, and Adrian Perrig. In the ACM SIGMETRICS Conference, June 2019.
Performance Contracts for Software Network Functions, Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI), March 2019.
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 [NSDI version] [CACM version], Mihai Dobrescu and Katerina Argyraki. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2014. Also in Communications of the ACM (CACM), Research Highlights, 58(11):113-121, November 2015. Best Paper Award.
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.
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.
- Can we infer network behavior from external observations? We proved the feasibility of network neutrality inference [ paper ]. Earlier, we relaxed the assumption of link independence in network performance inference [ paper ].
- Can we improve Internet transparency? We showed how Internet service providers can produce verifiable traffic receipts—report their own performance in a way that prevents them from lying [ paper ].
- Is Internet transparency compatible with user privacy? We started exploring the trade-off between Internet transparency and Tor anonymity [ paper ].
- How should we write packet-processing software, such that we can reason about its semantics? We presented the first formally verified NAT written in C [ project page, paper ] and the first framework for verifying network functions with no verification expertise [ project page, paper ].
- How should we write packet-processing software, such that we can reason about its performance? We proposed the idea of performance contracts and showed how to compute such contracts for packet-processing functions [ project page, paper ].
Selected Conference Papers
Verifying Software Network Functions with No Verification Expertise, Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, and George Candea. In the ACM Symposium on Operating Systems Principles (SOSP), October 2019.
MorphIT: Morphing Packet Receipts for Internet Transparency, Georgia Fragkouli, Katerina Argyraki, and Bryan Ford. In the Privacy Enhancing Technologies Symposium (PETS), July 2019. IRTF Applied Networking Research Prize.
Retroactive Packet Sampling for Traffic Receipts, Pavlos Nikolopoulos, Christos Pappas, Katerina Argyraki, and Adrian Perrig. In the ACM SIGMETRICS Conference, June 2019.
Performance Contracts for Software Network Functions, Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI), March 2019.
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 [NSDI version] [CACM version], Mihai Dobrescu and Katerina Argyraki. In the USENIX Symposium on Networked Systems Design and Implementation (NSDI), April 2014. Also in Communications of the ACM (CACM), Research Highlights, 58(11):113-121, November 2015. Best Paper Award.
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.
Teaching & PhD
Teaching
Communication Systems
Computer Science
PhD Programs
Doctoral program in computer and communication sciences
PhD Students
Alvarez Inostroza Catalina Paz, Fragkouli Georgia, Shmeis Zeinab,Past EPFL PhD Students
Dobrescu Mihai , Fietz Jonas , Ghita Denisa Gabriela , Ioannidis Georgios , Mara Ovidiu Sebastian , Nikolopoulos Pavlos , Primorac Mia , Safaka Iris , Zaostrovnykh Arseniy ,Courses
Computer networks
This course provides an introduction to computer networks. It describes the principles that underly modern network operation and illustrates them using the Internet as an example.
Principles of computer systems
This advanced graduate course teaches the key design principles underlying successful computer and communication systems, and shows how to solve real problems with ideas, techniques, and algorithms from operating systems, networks, databases, programming languages, and computer architecture.