4 citations · 9 across the 7 of their papers we have counts for
7 papers
Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
Joud Khoury, Minyoung Kim, Christophe Merlin +3
Hidden communication systems (HCS) embed covert messages within ordinary network activity to hide the presence of communication. In practice, the undetectability of an HCS is typic…
Efficient All-to-All Collective Communication Schedules for Direct-Connect Topologies
Prithwish Basu, Liangyu Zhao, Jason Fantl +3
The all-to-all collective communications primitive is widely used in machine learning (ML) and high performance computing (HPC) workloads, and optimizing its performance is of inte…
Efficient Direct-Connect Topologies for Collective Communications
Liangyu Zhao, Siddharth Pal, Tapan Chugh +5
We consider the problem of distilling efficient network topologies for collective communications. We provide an algorithmic framework for constructing direct-connect topologies opt…
SNARKs to the rescue: proof-of-contact in zero knowledge
Zachary Ratliff, Joud Khoury
This paper describes techniques to help with COVID-19 automated contact tracing, and with the restoration efforts. We describe a decentralized protocol for ``proof-of-contact'' in…
Route Distribution Incentives
Joud Khoury, Chaouki T. Abdallah, Kate Krause +1
We present an incentive model for route distribution in the context of path vector routing protocols and we focus on the Border Gateway Protocol (BGP). BGP is the de-facto protocol…
A Mobile Transient Internet Architecture
Henry N Jerez, Joud Khoury, Chaouki Abdallah
This paper describes a new architecture for transient mobile networks destined to merge existing and future network architectures, communication implementations and protocol operat…