Pages that link to "Item:Q4249668"
From MaRDI portal
The following pages link to Optimistic fair exchange of digital signatures (Q4249668):
Displayed 50 items.
- E-commerce of digital items and the problem of item validation: introducing the concept of reversible degradation (Q371254) (← links)
- Extending concurrent signature to multiple parties (Q401477) (← links)
- Group-oriented fair exchange of signatures (Q433010) (← links)
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- Optimistic fair exchange in the enhanced chosen-key model (Q476842) (← links)
- Ambiguous optimistic fair exchange: definition and constructions (Q476859) (← links)
- Concurrent signature without random oracles (Q476860) (← links)
- Verifiably encrypted signatures with short keys based on the decisional linear problem and obfuscation for encrypted VES (Q499658) (← links)
- Fair exchange of valuable information: a generalised framework (Q632798) (← links)
- Resource fairness and composability of cryptographic protocols (Q656919) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Certificate-based verifiably encrypted signatures from pairings (Q924671) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Cryptanalysis of the Wu-Varadhrajan fair exchange protocol (Q1014415) (← links)
- New efficient and secure protocols for verifiable signature sharing and other applications (Q1582011) (← links)
- Finite-state analysis of two contract signing protocols (Q1603658) (← links)
- How to protect privacy in optimistic fair exchange of digital signatures (Q1750341) (← links)
- Fair and optimistic contract signing based on quantum cryptography (Q2010992) (← links)
- Practical quantum contract signing without quantum storage (Q2102277) (← links)
- Coin-based multi-party fair exchange (Q2117033) (← links)
- SoK: communication across distributed ledgers (Q2147221) (← links)
- Computer science and decision theory (Q2271874) (← links)
- Security of blind signatures revisited (Q2397446) (← links)
- Attribute-based optimistic fair exchange: how to restrict brokers with policies (Q2437777) (← links)
- Fair multi-party contract signing using private contract signatures (Q2482447) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Contract signing, optimism, and advantage (Q2484408) (← links)
- Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures (Q2794502) (← links)
- What Security Can We Achieve Within 4 Rounds? (Q2827735) (← links)
- Synthesizing Protocols for Digital Contract Signing (Q2891408) (← links)
- Concurrent Signatures with Fully Negotiable Binding Control (Q3092356) (← links)
- Security of Verifiably Encrypted Signatures and a Construction without Random Oracles (Q3392898) (← links)
- Proofs on Encrypted Values in Bilinear Groups and an Application to Anonymity of Signatures (Q3392908) (← links)
- On Complete Primitives for Fairness (Q3408189) (← links)
- Electronic payment scheme to prevent the treachery (Q3443287) (← links)
- Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets (Q3556615) (← links)
- Sequential Aggregate Signatures and Multisignatures Without Random Oracles (Q3593112) (← links)
- Ambiguous Optimistic Fair Exchange (Q3600366) (← links)
- Fair Threshold Decryption with Semi-Trusted Third Parties (Q3634502) (← links)
- Verifiably Encrypted Signatures with Short Keys Based on the Decisional Linear Problem and Obfuscation for Encrypted VES (Q4916022) (← links)
- Asymptotics of quantum contract signing (Q4985607) (← links)
- Group Encryption (Q5387099) (← links)
- Efficient Simultaneous Broadcast (Q5445453) (← links)
- One-Shot Verifiable Encryption from Lattices (Q5738881) (← links)
- Escrow Protocols for Cryptocurrencies: How to Buy Physical Goods Using Bitcoin (Q5854436) (← links)
- Oblivious signature-based envelope (Q5917932) (← links)
- Quantum multi-party fair exchange protocol based on three-particle GHZ states (Q6072540) (← links)