Image de couverture de livre

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Tudorache, Leonard, Kurtev, Ivan, Brand, Mark van den
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
par: Cosler, Matthias, et autres
Publié: (2026)

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
par: Li, Di Long, et autres
Publié: (2024)

Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments
par: de Laage, Romain, et autres
Publié: (2025)

Securing the Internet of Medical Things (IoMT): Real-World Attack Taxonomy and Practical Security Measures
par: Deb, Suman, et autres
Publié: (2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
par: Qin, Kaihua, et autres
Publié: (2023)

Evaluating Security Properties in the Execution of Quantum Circuits
par: Bernardi, Paolo, et autres
Publié: (2025)

On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers
par: Li, Zhiang, et autres
Publié: (2024)

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities
par: Rahman, Tanvir, et autres
Publié: (2026)

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
par: Acharya, Nirajan, et autres
Publié: (2026)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
par: Singh, Vikash, et autres
Publié: (2025)

Advancing Security in Software-Defined Vehicles: A Comprehensive Survey and Taxonomy
par: Sghaier, Khaoula, et autres
Publié: (2025)

Securing LLM Agents Need Intent-to-Execution Integrity
par: Qu, Wenjie, et autres
Publié: (2026)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
par: Dorfmeister, Daniel, et autres
Publié: (2026)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
par: Ye, Zhe, et autres
Publié: (2022)

Outsourcing SAT-based Verification Computations in Network Security
par: Duan, Qi, et autres
Publié: (2025)

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
par: Ankireddy, Dinesh Reddy, et autres
Publié: (2025)

Bridging Threat Models and Detections: Formal Verification via CADP
par: Prelipcean, Dumitru-Bogdan, et autres
Publié: (2025)

50 Shades of Deceptive Patterns: A Unified Taxonomy, Multimodal Detection, and Security Implications
par: Shi, Zewei, et autres
Publié: (2025)

Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis
par: Li, Zhiyuan, et autres
Publié: (2026)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
par: Birgersson, Marcus, et autres
Publié: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
par: Antón, Anna Lena Duque, et autres
Publié: (2024)

Detecting and Measuring Security Implications of Entangled Domain Verification in CDN
par: Lin, Ziyu, et autres
Publié: (2024)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
par: Dorfhuber, Florian, et autres
Publié: (2024)

Unveiling Malicious Logic: Towards a Statement-Level Taxonomy and Dataset for Securing Python Packages
par: Ryan, Ahmed, et autres
Publié: (2025)

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
par: Wilde, Annika, et autres
Publié: (2026)

CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment
par: Longari, Stefano, et autres
Publié: (2025)

SecIC3: Customizing IC3 for Hardware Security Verification
par: Tan, Qinhan, et autres
Publié: (2026)

Rethinking Denial-of-Service: A Conditional Taxonomy Unifying Availability and Sustainability Threats
par: Dorsett, Mark, et autres
Publié: (2025)

Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification
par: Akyash, Mohammad, et autres
Publié: (2024)

Provable Execution in Real-Time Embedded Systems
par: Neto, Antonio Joia, et autres
Publié: (2025)

On the Verification of Control Flow Attestation Evidence
par: Caulfield, Adam, et autres
Publié: (2024)

CrossLink: A Decentralized Framework for Secure Cross-Chain Smart Contract Execution
par: Hossain, Tahrim, et autres
Publié: (2025)

ZK Coprocessor Bridge: Replay-Safe Private Execution from Solana to Aztec via Wormhole
par: Yano, Jotaro
Publié: (2025)

Beyond the Voice: Inertial Sensing of Mouth Motion for High Security Speech Verification
par: Ineza, Ynes, et autres
Publié: (2025)

Cyber-Physical Security Vulnerabilities Identification and Classification in Smart Manufacturing -- A Defense-in-Depth Driven Framework and Taxonomy
par: Rahman, Md Habibor, et autres
Publié: (2024)

Securing Cloud File Systems with Trusted Execution
par: Burke, Quinn, et autres
Publié: (2023)

Formal Verification of Secure Encrypted Virtualization
par: Weerasena, Hansika, et autres
Publié: (2026)

A Taxonomy of Functional Security Features and How They Can Be Located
par: Hermann, Kevin, et autres
Publié: (2025)

A Practical and Secure Byzantine Robust Aggregator
par: Lee, De Zhang, et autres
Publié: (2025)

Architecting Trust: A Framework for Secure IoT Systems Through Trusted Execution and Semantic Middleware
par: Imran, Muhammad
Publié: (2026)