Cover Image

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Di Long, de Groot, Jim, Tiu, Alwen
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Security Analysis of CheriBSD and Morello Linux
by: Guzairov, Dariy, et al.
Published: (2026)

PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
by: Charles, Alvin, et al.
Published: (2026)

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
by: Yu, Tingfeng, et al.
Published: (2022)

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
by: Cosler, Matthias, et al.
Published: (2026)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

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

A Large-Scale Evolvable Dataset for Model Context Protocol Ecosystem and Security Analysis
by: Lin, Zhiwei, et al.
Published: (2025)

MCPZoo: A Large-Scale Dataset of Runnable Model Context Protocol Servers for AI Agent
by: Wu, Mengying, et al.
Published: (2025)

MAP the Blockchain World: A Trustless and Scalable Blockchain Interoperability Protocol for Cross-chain Applications
by: Cao, Yinfeng, et al.
Published: (2024)

I-(OT)^2: A Client-optimal Oblivious Transfer Protocol for IoT Devices
by: Onofri, Elia, et al.
Published: (2026)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
by: Tiwari, Aditi, 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)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
by: Huang, Changze, et al.
Published: (2025)

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

BaseSAP: Modular Stealth Address Protocol for Programmable Blockchains
by: Wahrstätter, Anton, et al.
Published: (2023)

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

A Secure Remote Password Protocol From The Learning With Errors Problem
by: Li, Huapeng, et al.
Published: (2025)

Augmented Shuffle Differential Privacy Protocols for Large-Domain Categorical and Key-Value Data
by: Murakami, Takao, et al.
Published: (2025)

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

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

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

VIPER-MCP: Detecting and Exploiting Taint-Style Vulnerabilities in Model Context Protocol Servers
by: Sun, Pengyu, et al.
Published: (2026)

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

Securing the Model Context Protocol (MCP): Risks, Controls, and Governance
by: Errico, Herman, et al.
Published: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

On the Robustness of LDP Protocols for Numerical Attributes under Data Poisoning Attacks
by: Li, Xiaoguang, et al.
Published: (2024)

Five Attacks on x402 Agentic Payment Protocol
by: Li, Zelin, et al.
Published: (2026)

Reverse Online Guessing Attacks on PAKE Protocols
by: Christian, Eloise, et al.
Published: (2026)

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

ModelForge: Using GenAI to Improve the Development of Security Protocols
by: Duclos, Martin, et al.
Published: (2025)

SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
by: Huang, Dawei, et al.
Published: (2026)

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

Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
by: Song, Hao, et al.
Published: (2025)

A Lightweight Authentication Protocol against Modeling Attacks based on a Novel LFSR-APUF
by: Wang, Yao, et al.
Published: (2023)

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

A First Look at the Security Issues in the Model Context Protocol Ecosystem
by: Li, Xiaofan, et al.
Published: (2025)

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

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

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

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis
by: Li, Wenkai, et al.
Published: (2024)