Pages that link to "Item:Q5500550"
From MaRDI portal
The following pages link to Modeling Bitcoin Contracts by Timed Automata (Q5500550):
Displaying 20 items.
- Incentive-driven attacker for corrupting two-party protocols (Q1626274) (← links)
- Game theoretic notions of fairness in multi-party coin toss (Q1629437) (← links)
- How to build time-lock encryption (Q1791669) (← links)
- TARDIS: a foundation of time-lock puzzles in UC (Q2056801) (← links)
- Abuse resistant law enforcement access systems (Q2056806) (← links)
- FAST: fair auctions via secret transactions (Q2096643) (← links)
- Blind polynomial evaluation and data trading (Q2117031) (← links)
- Coin-based multi-party fair exchange (Q2117033) (← links)
- P2DEX: privacy-preserving decentralized cryptocurrency exchange (Q2117034) (← links)
- Shielded computations in smart contracts overcoming forks (Q2145367) (← links)
- A formal model of Algorand smart contracts (Q2145369) (← links)
- Cryptographic algorithms for privacy-preserving online applications (Q2668547) (← links)
- Absentia: secure multiparty computation on ethereum (Q2670861) (← links)
- Bankrupting Sybil despite churn (Q2698290) (← links)
- Designing Proof of Human-Work Puzzles for Cryptocurrency and Beyond (Q3181039) (← links)
- (Q5028478) (← links)
- Expected linear round synchronization: the missing link for linear Byzantine SMR (Q6535025) (← links)
- Bicorn: an optimistically efficient distributed randomness beacon (Q6573968) (← links)
- McFly: verifiable encryption to the future made practical (Q6573969) (← links)
- Eagle: efficient privacy preserving smart contracts (Q6573970) (← links)
