Cover Image

Symbolic Parallel Composition for Multi-language Protocol Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nasrabadi, Faezeh, Künnemann, Robert, Nemati, Hamed
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
by: Nasrabadi, Faezeh, et al.
Published: (2025)

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

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Adaptive Exploit Generation against Security Devices and Security APIs
by: Künnemann, Robert, et al.
Published: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

Analyzing and Exploiting Branch Mispredictions in Microcode
by: Mosier, Nicholas, et al.
Published: (2025)

Parallel Composition for Statistical Privacy
by: Breutigam, Dennis, et al.
Published: (2026)

The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
by: Ankele, Ralph, et al.
Published: (2023)

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)

BMC4TimeSec: Verification Of Timed Security Protocols
by: Zbrzezny, Agnieszka M.
Published: (2026)

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

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

Privacy-Aware Federated nnU-Net for ECG Page Digitization
by: Nemati, Nader
Published: (2025)

User-Guided Verification of Security Protocols via Sound Animation
by: Ye, Kangfeng, et al.
Published: (2024)

An Efficient Lightweight Blockchain for Decentralized IoT
by: Tarzjani, Faezeh Dehghan, et al.
Published: (2025)

Scaling Trust in Quantum Federated Learning: A Multi-Protocol Privacy Design
by: Gurung, Dev, et al.
Published: (2025)

Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
by: Kamba, Masato, et al.
Published: (2026)

Zero-Knowledge Audit for Internet of Agents: Privacy-Preserving Communication Verification with Model Context Protocol
by: Jing, Guanlin, et al.
Published: (2025)

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

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

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

MALF: A Multi-Agent LLM Framework for Intelligent Fuzzing of Industrial Control Protocols
by: Ning, Bowei, et al.
Published: (2025)

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

Detecting and Measuring Security Implications of Entangled Domain Verification in CDN
by: Lin, Ziyu, et al.
Published: (2024)

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

Dynamic Probabilistic Noise Injection for Membership Inference Defense
by: Forough, Javad, et al.
Published: (2025)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
by: Maheri, Mohammad M, et al.
Published: (2025)

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

GPU Fingerprinting for Location Verification
by: Tee, Wayne, et al.
Published: (2026)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
by: Blain, Dominik
Published: (2026)

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

Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and Context-Binding Failures in AP2
by: Lan, Qianlong, et al.
Published: (2026)

LDP$^3$: An Extensible and Multi-Threaded Toolkit for Local Differential Privacy Protocols and Post-Processing Methods
by: Balioglu, Berkay Kemal, et al.
Published: (2025)

Unsupervised Cross-Protocol Anomaly Analysis in Mobile Core Networks via Multi-Embedding Models Consensus
by: Garg, Aayush, et al.
Published: (2026)

WARP: Weight Teleportation for Attack-Resilient Unlearning Protocols
by: Maheri, Mohammad M, et al.
Published: (2025)

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

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