TY  - RPRT
TI  - Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
AU  - Joud Khoury
AU  - Minyoung Kim
AU  - Christophe Merlin
AU  - Jose Meseguer
AU  - Zachary Ratliff
AU  - Carolyn Talcott
PY  - 2026
UR  - https://arxiv.org/abs/2603.03369
ID  - 2603.03369
ER  -