:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Busi, Matteo, Focardi, Riccardo, Luccio, Flaminia L.
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2502.12848
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bridging the Gap: Automated Analysis of Sancus
by: Busi, Matteo, et al.
Published: (2024)

Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
by: Hasan, Najmul, et al.
Published: (2026)

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

Benchmarking Large Language Models for Zero-shot and Few-shot Phishing URL Detection
by: Hasan, Najmul, et al.
Published: (2026)

Security Analysis of a Communication Protocol: MQTT
by: Venâncio, Ricardo, et al.
Published: (2026)

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

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

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

On the Design and Security of Collective Remote Attestation Protocols
by: Ahmadi, Sharar, et al.
Published: (2024)

Benchmarking Secure Sampling Protocols for Differential Privacy
by: Fu, Yucheng, et al.
Published: (2024)

Why No Consensus on Consensus? A Deep Dive into Blockchain Consensus Protocols
by: Pishdar, Mohammad, et al.
Published: (2026)

Security and Privacy Analysis of Tile's Location Tracking Protocol
by: Kumar, Akshaya, et al.
Published: (2025)

Economic Security of Multiple Shared Security Protocols
by: Nag, Abhimanyu, et al.
Published: (2025)

Secure Transformer Inference Protocol
by: Yuan, Mu, et al.
Published: (2023)

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)

Security Analysis of the Open Banking Account and Transaction API Protocol
by: Modesti, Paolo, et al.
Published: (2020)

Secure compilation of rich smart contracts on poor UTXO blockchains
by: Bartoletti, Massimo, et al.
Published: (2023)

Bifrost: A Much Simpler Secure Two-Party Data Join Protocol for Secure Data Analytics
by: Chen, Shuyu, et al.
Published: (2026)

Security Analysis of Agentic AI Communication Protocols: A Comparative Evaluation
by: Louck, Yedidel, et al.
Published: (2025)

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

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

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

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
by: Morio, Kevin, et al.
Published: (2024)

AgentRFC: Security Design Principles and Conformance Testing for Agent Protocols
by: Zheng, Shenghan, et al.
Published: (2026)

A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols
by: Lotto, Alessandro, et al.
Published: (2024)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
by: Blake, Christopher, et al.
Published: (2026)

Quantum Secure Protocols for Multiparty Computations
by: Mohanty, Tapaswini, et al.
Published: (2023)

Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol
by: Apel, Dominik, et al.
Published: (2025)

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

LSEG: A Lightweight and Secure Key Exchange Protocol for Smart Grid Communication
by: Zafar, Amna, et al.
Published: (2025)

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

Eden: An Provably Secure, Ultra-Fast, and Fully Decentralized Blockchain Interoperability Protocol
by: Liang, Ke
Published: (2023)

A Lightweight QR-assisted Zero-knowledge Identification Protocol For Secure Authentication
by: Bodur, Hüseyin
Published: (2026)

A Novel Endorsement Protocol to Secure BFT-Based Consensus in Permissionless Blockchain
by: Xu, Ziqiang, et al.
Published: (2024)

Quantum-Enhanced Secure Approval Voting Protocol
by: Sakhuja, Saiyam, et al.
Published: (2024)

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

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

Drawing the LINE: Cryptographic Analysis and Security Improvements for the LINE E2EE Protocol
by: Dowling, Benjamin, et al.
Published: (2026)

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