@misc{indiciae431fd8362580,
  title = {Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems},
  author = {Joud Khoury and Minyoung Kim and Christophe Merlin and Jose Meseguer and Zachary Ratliff and Carolyn Talcott},
  year = {2026},
  url = {https://arxiv.org/abs/2603.03369},
  note = {Source identifier: 2603.03369}
}