Cover Image

A Theory of Composable Lingos for Protocol Dialects

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	García, Víctor, Escobar, Santaigo, Meadows, Catherine, Meseguer, Jose
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

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

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

Composable Security of Distributed Symmetric Key Establishment Protocol
by: Lin, Jie, et al.
Published: (2023)

Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator
by: Alnashwan, Rabiah, et al.
Published: (2024)

LingoLoop Attack: Trapping MLLMs via Linguistic Context and State Entrapment into Endless Loops
by: Fu, Jiyuan, et al.
Published: (2025)

Composability in Watermarking Schemes
by: Liu, Jiahui, et al.
Published: (2024)

A Logic of Sattestation
by: Jaggard, Aaron D., et al.
Published: (2024)

Universally Composable Termination Analysis of Tendermint
by: Dong, Zhixin, et al.
Published: (2025)

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
by: Khoury, Joud, et al.
Published: (2026)

DTL: Data Tumbling Layer. A Composable Unlinkability for Smart Contracts
by: Minaei, Mohsen, et al.
Published: (2025)

Ransomware 3.0: Self-Composing and LLM-Orchestrated
by: Raz, Md, et al.
Published: (2025)

Universally Composable Commitments with Communicating Malicious Physically Uncloneable Functions
by: Abecasis, Lourenço, et al.
Published: (2025)

Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
by: Alghazwi, Mohammed, et al.
Published: (2024)

Composable Attestation: A Generalized Framework for Continuous and Incremental Trust in AI-Driven Distributed Systems
by: Sun, Sheng, et al.
Published: (2026)

A Moderatorless Protocol for WEREWOLF
by: Kitamura, Naoki, et al.
Published: (2026)

ShadowScope: GPU Monitoring and Validation via Composable Side Channel Signals
by: Almusaddar, Ghadeer, et al.
Published: (2025)

TETRIS: Composing FHE Techniques for Private Functional Exploration Over Large Datasets
by: Izabachène, Malika, et al.
Published: (2024)

Honeypot Protocol
by: Hasan, Najmul
Published: (2026)

HOT Protocol
by: Volnov, Peter, et al.
Published: (2025)

Atlantis Protocol
by: Kurbatov, Oleksandr, et al.
Published: (2024)

A Comprehensive Review of TLSNotary Protocol
by: Kalka, Maciej, et al.
Published: (2024)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
by: Tiwari, Aditi, et al.
Published: (2025)

Protocols for Univariate Sumcheck
by: Mohamed, Malcom
Published: (2025)

Bytes to Schlep? Use a FEP: Hiding Protocol Metadata with Fully Encrypted Protocols
by: Fenske, Ellis, et al.
Published: (2024)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
by: Iskander, Ray, et al.
Published: (2026)

Resilient Alerting Protocols for Blockchains
by: Mouallem, Marwa, et al.
Published: (2026)

A Complexity Hierarchy of Shuffles in Card-Based Protocols
by: Ono, Tomoki, et al.
Published: (2026)

A Note on Single-Cut Full-Open Protocols
by: Shinagawa, Kazumasa, et al.
Published: (2025)

"MCP Does Not Stand for Misuse Cryptography Protocol": Uncovering Cryptographic Misuse in Model Context Protocol at Scale
by: Yan, Biwei, et al.
Published: (2025)

SMCP: Secure Model Context Protocol
by: Hou, Xinyi, et al.
Published: (2026)

Recipe: Hardware-Accelerated Replication Protocols
by: Giantsidi, Dimitra, et al.
Published: (2025)

Evaluating Google's Protected Audience Protocol
by: Long, Minjun, et al.
Published: (2024)

Empirical Evaluation of Memory-Erasure Protocols
by: Gil-Pons, Reynaldo, et al.
Published: (2025)

Attacking and Improving the Tor Directory Protocol
by: Luo, Zhongtang, et al.
Published: (2025)

More Efficient Stealth Address Protocol
by: Mikic, Marija, et al.
Published: (2025)

Post-Quantum Stealth Address Protocols
by: Mikic, Marija, et al.
Published: (2025)

A Security Framework for General Blockchain Layer 2 Protocols
by: Avarikioti, Zeta, et al.
Published: (2025)

A Lightweight Authentication and Key Agreement Protocol Design for FANET
by: Wu, Yao, et al.
Published: (2025)

A Privacy-Preserving Information-Sharing Protocol for Federated Authentication
by: Buccafurri, Francesco, et al.
Published: (2025)

A Beyond-5G Authentication and Key Agreement Protocol
by: Damir, Mohamed Taoufiq, et al.
Published: (2022)