2 papers
cs.CR2026
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…
cs.NI2025
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…