Cover Image

One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hofmeier, Xenia, Raguso, Andrea, Sasse, Ralf, Jackson, Dennis, Basin, David
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

SoK: Attacks on Modern Card Payments
by: Hofmeier, Xenia, et al.
Published: (2025)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

SOAP: A Social Authentication Protocol
by: Linker, Felix, et al.
Published: (2024)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
by: Zhang, Zhuoruo, et al.
Published: (2022)

Oblivious Digital Tokens
by: Liskij, Mihael, et al.
Published: (2025)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
by: Pereira, João C., et al.
Published: (2024)

The Variant of Designated Verifier Signature Scheme with Message Recovery
by: Huang, Hong-Sheng, et al.
Published: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures
by: Khodaiemehr, Hassan, et al.
Published: (2026)

SVAFD: A Secure and Verifiable Co-Aggregation Protocol for Federated Distillation
by: Wen, Tian, et al.
Published: (2025)

Blockchain Verifiable Proof of Quantum Supremacy as a Trigger for Quantum-Secure Signatures
by: Papadopoulos, Nicholas J. C.
Published: (2026)

VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets
by: Alghazwi, Mohammed, et al.
Published: (2024)

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

Reachability Analysis of the Domain Name System
by: Nevatia, Dhruv, et al.
Published: (2024)

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

LaSDVS : A Post-Quantum Secure Compact Strong-Designated Verifier Signature
by: Poddar, Shanu, et al.
Published: (2025)

Ordered Multi-Signatures with Public-Key Aggregation from SXDH Assumption
by: Tezuka, Masayuki, et al.
Published: (2025)

Publicly Verifiable Private Information Retrieval Protocols Based on Function Secret Sharing
by: Zhu, Lin, et al.
Published: (2025)

Categorical composable cryptography: extended version
by: Broadbent, Anne, et al.
Published: (2022)

A Formally Verified Lightning Network
by: Fabiański, Grzegorz, et al.
Published: (2025)

Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems
by: Cui, Jian, et al.
Published: (2025)

Obscura: Privacy-Preserving Protocol for the Algorand Blockchain Using LSAG Ring Signatures
by: Azimi, Navid
Published: (2026)

Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
by: García, Víctor, et al.
Published: (2025)

Strategies and Challenges of Timestamp Tampering for Improved Digital Forensic Event Reconstruction (extended version)
by: Vanini, Céline, et al.
Published: (2024)

Functional Adaptor Signatures: Beyond All-or-Nothing Blockchain-based Payments
by: Vanjani, Nikhil, et al.
Published: (2024)

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

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

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

SLVC-DIDA: Signature-less Verifiable Credential-based Issuer-hiding and Multi-party Authentication for Decentralized Identity
by: Xie, Tianxiu, et al.
Published: (2025)

A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials
by: Srivastava, Vikas, et al.
Published: (2025)

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

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
by: Baumann, Jonathan, et al.
Published: (2026)

EVA-S3PC: Efficient, Verifiable, Accurate Secure Matrix Multiplication Protocol Assembly and Its Application in Regression
by: Peng, Shizhao, et al.
Published: (2024)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

A Smart Contract-based Non-Transferable Signature Verification System using Nominative Signatures
by: Nishino, Hinata, et al.
Published: (2025)

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
by: Flamini, Andrea, et al.
Published: (2024)

Quantum-Secure Hybrid Blockchain System for DID-based Verifiable Random Function with NTRU Linkable Ring Signature
by: Kim, Bong Gon, et al.
Published: (2024)

One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
by: Wang, Zexu, et al.
Published: (2025)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
by: Chilese, Marco, et al.
Published: (2024)