69 citations · 231 across the 10 of their papers we have counts for
10 papers
Generating Steganographic Text with LSTMs
Tina Fang, Martin Jaggi, Katerina Argyraki
Motivated by concerns for user privacy, we design a steganographic system ("stegosystem") that enables two users to exchange encrypted messages without an adversary detecting that…
Verifying Reachability in Networks with Mutable Datapaths
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Recent work has made great progress in verifying the forwarding correctness of networks . However, these approaches cannot be used to verify networks containing middleboxes, such a…
Verifying Isolation Properties in the Presence of Middleboxes
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Great progress has been made recently in verifying the correctness of router forwarding tables. However, these approaches do not work for networks containing middleboxes such as ca…
Exchanging Secrets without Using Cryptography
Iris Safaka, Mahdi J. Siavoshani, Uday Pulleti +4
We consider the problem where a group of n nodes, connected to the same broadcast channel (e.g., a wireless network), want to generate a common secret bitstream, in the presence of…
Optimal Source-Based Filtering of Malicious Traffic
Fabio Soldo, Katerina Argyraki, Athina Markopoulou
In this paper, we consider the problem of blocking malicious traffic on the Internet, via source-based filtering. In particular, we consider filtering via access control lists (ACL…
Verifiable Network-Performance Measurements
Katerina Argyraki, Petros Maniatis, Ankit Singla
In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: when a domain violates its Service Level Agreement (SLA) with a contrac…