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.CR2020
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…