Buchumschlag

Strands Rocq: Why is a Security Protocol Correct, Mechanically?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Busi, Matteo, Focardi, Riccardo, Luccio, Flaminia L.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bridging the Gap: Automated Analysis of Sancus
von: Busi, Matteo, et al.
Veröffentlicht: (2024)

A Security Framework for General Blockchain Layer 2 Protocols
von: Avarikioti, Zeta, et al.
Veröffentlicht: (2025)

Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
von: Hasan, Najmul, et al.
Veröffentlicht: (2026)

Security Analysis of a Communication Protocol: MQTT
von: Venâncio, Ricardo, et al.
Veröffentlicht: (2026)

Benchmarking Large Language Models for Zero-shot and Few-shot Phishing URL Detection
von: Hasan, Najmul, et al.
Veröffentlicht: (2026)

SMCP: Secure Model Context Protocol
von: Hou, Xinyi, et al.
Veröffentlicht: (2026)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
von: Tiwari, Aditi, et al.
Veröffentlicht: (2025)

On the Design and Security of Collective Remote Attestation Protocols
von: Ahmadi, Sharar, et al.
Veröffentlicht: (2024)

Benchmarking Secure Sampling Protocols for Differential Privacy
von: Fu, Yucheng, et al.
Veröffentlicht: (2024)

Why No Consensus on Consensus? A Deep Dive into Blockchain Consensus Protocols
von: Pishdar, Mohammad, et al.
Veröffentlicht: (2026)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
von: Maddaloni, Dario, et al.
Veröffentlicht: (2024)

Security and Privacy Analysis of Tile's Location Tracking Protocol
von: Kumar, Akshaya, et al.
Veröffentlicht: (2025)

Securing the Model Context Protocol (MCP): Risks, Controls, and Governance
von: Errico, Herman, et al.
Veröffentlicht: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
von: Jain, Racchit, et al.
Veröffentlicht: (2025)

Security Analysis of the Open Banking Account and Transaction API Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2020)

Economic Security of Multiple Shared Security Protocols
von: Nag, Abhimanyu, et al.
Veröffentlicht: (2025)

Bifrost: A Much Simpler Secure Two-Party Data Join Protocol for Secure Data Analytics
von: Chen, Shuyu, et al.
Veröffentlicht: (2026)

Secure compilation of rich smart contracts on poor UTXO blockchains
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2023)

Security Analysis of Agentic AI Communication Protocols: A Comparative Evaluation
von: Louck, Yedidel, et al.
Veröffentlicht: (2025)

A Secure Remote Password Protocol From The Learning With Errors Problem
von: Li, Huapeng, et al.
Veröffentlicht: (2025)

ModelForge: Using GenAI to Improve the Development of Security Protocols
von: Duclos, Martin, et al.
Veröffentlicht: (2025)

Atomic Transfer Graphs: Secure-by-design Protocols for Heterogeneous Blockchain Ecosystems
von: Dübler, Stephan, et al.
Veröffentlicht: (2025)

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
von: Morio, Kevin, et al.
Veröffentlicht: (2024)

AgentRFC: Security Design Principles and Conformance Testing for Agent Protocols
von: Zheng, Shenghan, et al.
Veröffentlicht: (2026)

A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols
von: Lotto, Alessandro, et al.
Veröffentlicht: (2024)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
von: Blake, Christopher, et al.
Veröffentlicht: (2026)

Secure Transformer Inference Protocol
von: Yuan, Mu, et al.
Veröffentlicht: (2023)

Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol
von: Apel, Dominik, et al.
Veröffentlicht: (2025)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
von: Bettinger, Matthieu, et al.
Veröffentlicht: (2025)

LSEG: A Lightweight and Secure Key Exchange Protocol for Smart Grid Communication
von: Zafar, Amna, et al.
Veröffentlicht: (2025)

OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols
von: Ngong, Ivoline C., et al.
Veröffentlicht: (2023)

Eden: An Provably Secure, Ultra-Fast, and Fully Decentralized Blockchain Interoperability Protocol
von: Liang, Ke
Veröffentlicht: (2023)

A Lightweight QR-assisted Zero-knowledge Identification Protocol For Secure Authentication
von: Bodur, Hüseyin
Veröffentlicht: (2026)

A Novel Endorsement Protocol to Secure BFT-Based Consensus in Permissionless Blockchain
von: Xu, Ziqiang, et al.
Veröffentlicht: (2024)

Quantum Secure Protocols for Multiparty Computations
von: Mohanty, Tapaswini, et al.
Veröffentlicht: (2023)

Efficient and High-Accuracy Secure Two-Party Protocols for a Class of Functions with Real-number Inputs
von: Guo, Hao, et al.
Veröffentlicht: (2025)

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

Drawing the LINE: Cryptographic Analysis and Security Improvements for the LINE E2EE Protocol
von: Dowling, Benjamin, et al.
Veröffentlicht: (2026)

Excavating Vulnerabilities Lurking in Multi-Factor Authentication Protocols: A Systematic Security Analysis
von: Wee, Ang Kok, et al.
Veröffentlicht: (2024)

Secure Stateful Aggregation: A Practical Protocol with Applications in Differentially-Private Federated Learning
von: Ball, Marshall, et al.
Veröffentlicht: (2024)