Cover Image

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khoury, Joud, Kim, Minyoung, Merlin, Christophe, Meseguer, Jose, Ratliff, Zachary, Talcott, Carolyn
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dialects for CoAP-like Messaging Protocols
by: Talcott, Carolyn
Published: (2024)

A Framework for Differential Privacy Against Timing Attacks
by: Ratliff, Zachary, et al.
Published: (2024)

Securing Unbounded Differential Privacy Against Timing Attacks
by: Ratliff, Zachary, et al.
Published: (2025)

Planting Undetectable Backdoors in Machine Learning Models
by: Goldwasser, Shafi, et al.
Published: (2022)

Backdoor Channels Hidden in Latent Space: Cryptographic Undetectability in Modern Neural Networks
by: Eggen, Marte, et al.
Published: (2026)

Injecting Undetectable Backdoors in Obfuscated Neural Networks and Language Models
by: Kalavasis, Alkis, et al.
Published: (2024)

On the Communication Complexity of Secure Multi-Party Computation With Aborts
by: Bartusek, James, et al.
Published: (2024)

GPM: The Gaussian Pancake Mechanism for Planting Undetectable Backdoors in Differential Privacy
by: Sun, Haochen, et al.
Published: (2025)

An Undetectable Watermark for Generative Image Models
by: Gunn, Sam, et al.
Published: (2024)

A Theory of Composable Lingos for Protocol Dialects
by: García, Víctor, et al.
Published: (2026)

Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
by: García, Víctor, et al.
Published: (2025)

URVFL: Undetectable Data Reconstruction Attack on Vertical Federated Learning
by: Yao, Duanyi, et al.
Published: (2024)

Bit-Exact AI Inference Verification Without Performance Tradeoffs
by: Cankaya, Naci
Published: (2026)

ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check
by: Lotto, Alessandro, et al.
Published: (2024)

Private Multiple Linear Computation: A Flexible Communication-Computation Tradeoff
by: Zhu, Jinbao, et al.
Published: (2024)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
by: Caporaso, Pasquale, et al.
Published: (2024)

Blind PRNG Hijacking: An Undetectable Integrity-Preserving Attack Against LLM Watermarking
by: You, Ziyang, et al.
Published: (2026)

Undetectable Backdoors in Model Parameters: Hiding Sparse Secrets in High Dimensions
by: Choudhary, Sarthak, et al.
Published: (2026)

Sanitizing Hidden Information with Diffusion Models
by: Robinette, Preston K., et al.
Published: (2023)

Hidden Elo: Private Matchmaking through Encrypted Rating Systems
by: Budzys, Mindaugas, et al.
Published: (2026)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

The Hidden Dangers of Public Serverless Repositories: An Empirical Security Assessment
by: Marin, Eduard, et al.
Published: (2025)

The Verifier Tax: Horizon Dependent Safety Success Tradeoffs in Tool Using LLM Agents
by: Sah, Tanmay, et al.
Published: (2026)

A Game-Theoretic Approach to Privacy-Utility Tradeoff in Sharing Genomic Summary Statistics
by: Zhang, Tao, et al.
Published: (2024)

On Scalable Integrity Checking for Secure Cloud Disks
by: Burke, Quinn, et al.
Published: (2024)

Privacy-Preserving Identifier Checking in 5G
by: Gräfenstein, Marcel D. S. K., et al.
Published: (2025)

Breaking the Communication-Privacy-Accuracy Tradeoff with $f$-Differential Privacy
by: Jin, Richeng, et al.
Published: (2023)

Reality Check for Tor Website Fingerprinting in the Open World
by: Shadbeh, Mohammadhamed, et al.
Published: (2026)

Spatial Discretization for Fine-Grain Zone Checks with STARKs
by: Lee, Sungmin, et al.
Published: (2025)

Hidden Web Caches Discovery
by: Golinelli, Matteo, et al.
Published: (2024)

How Secure is Code Generated by ChatGPT?
by: Khoury, Raphaël, et al.
Published: (2023)

Synthetic Embedding of Hidden Information in Industrial Control System Network Protocols for Evaluation of Steganographic Malware
by: Neubert, Tom, et al.
Published: (2024)

Privacy Enhanced PEFT: Tensor Train Decomposition Improves Privacy Utility Tradeoffs under DP-SGD
by: Kunwar, Pradip, et al.
Published: (2026)

Graph-based Modeling and Simulation of Emergency Services Communication Systems
by: Jordan, Jardi Martinez, et al.
Published: (2024)

Leveraging Generative Models for Covert Messaging: Challenges and Tradeoffs for "Dead-Drop" Deployments
by: Bauer, Luke A., et al.
Published: (2021)

Optimized Tradeoffs for Private Prediction with Majority Ensembling
by: Jiang, Shuli, et al.
Published: (2024)

Whispers in the Machine: Confidentiality in Agentic Systems
by: Evertz, Jonathan, et al.
Published: (2024)

Zero-Knowledge Model Checking
by: Berrang, Pascal, et al.
Published: (2026)

CryptoCatch: Cryptomining Hidden Nowhere
by: Shi, Ruisheng, et al.
Published: (2026)

Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
by: Capozucca, Alfredo, et al.
Published: (2024)