Pages that link to "Item:Q5500550"
From MaRDI portal
The following pages link to Modeling Bitcoin Contracts by Timed Automata (Q5500550):
Displaying 5 items.
- Incentive-driven attacker for corrupting two-party protocols (Q1626274) (← links)
- FAST: fair auctions via secret transactions (Q2096643) (← links)
- Shielded computations in smart contracts overcoming forks (Q2145367) (← links)
- (Public) verifiability for composable protocols without adaptivity or zero-knowledge (Q6173120) (← links)
- Accountable Storage (Q6487222) (← links)
