3 papers
cs.CR2026
A Theory of Composable Lingos for Protocol Dialects
VÃctor GarcÃa, Santiago Escobar, Catherine Meadows +1
Formal patterns are formally specified solutions to frequently occurring distributed system problems that are generic, executable, and come with strong qualitative and/or quantitat…
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.CR2025
Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
VÃctor GarcÃa, Santiago Escobar, Catherine Meadows +1
Protocol dialects are methods for modifying protocols that provide light-weight security, especially against easy attacks that can lead to more serious ones. A lingo is a dialect's…