The following pages link to (Q4941873):
Displaying 32 items.
- Group-oriented fair exchange of signatures (Q433010) (← links)
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- Ambiguous optimistic fair exchange: definition and constructions (Q476859) (← links)
- A rational framework for secure communication (Q497644) (← links)
- New receipt-free voting scheme using double-trapdoor commitment (Q543836) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Formal analysis and design of multi-party fair exchange protocols (Q882700) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← 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)
- Concurrent signatures from a variety of keys (Q2151283) (← links)
- Computer science and decision theory (Q2271874) (← links)
- Attribute-based optimistic fair exchange: how to restrict brokers with policies (Q2437777) (← links)
- A rational approach to cryptographic protocols (Q2470206) (← links)
- Fair multi-party contract signing using private contract signatures (Q2482447) (← links)
- Contract signing, optimism, and advantage (Q2484408) (← links)
- Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures (Q2794502) (← links)
- Multiparty contract signing over a reliable network (Q2804932) (← links)
- Legally Fair Contract Signing Without Keystones (Q2822672) (← links)
- Synthesizing Protocols for Digital Contract Signing (Q2891408) (← links)
- Automated Verification of Dynamic Root of Trust Protocols (Q3304809) (← links)
- Security of Verifiably Encrypted Signatures and a Construction without Random Oracles (Q3392898) (← links)
- Mechanical proofs about BW multi-party contract signing protocol (Q3443205) (← links)
- Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets (Q3556615) (← links)
- Ambiguous Optimistic Fair Exchange (Q3600366) (← links)
- Escrow Protocols for Cryptocurrencies: How to Buy Physical Goods Using Bitcoin (Q5854436) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
- Quantum multi-party fair exchange protocol based on three-particle GHZ states (Q6072540) (← links)
