| Short Paper: Secure Offline Payments in Bitcoin
|
2020 |
Takahashi, Taisei |
| Game-Theoretic Analysis of an Incentivized Verifiable Computation System
|
2020 |
Nabi, Mahmudun |
| Verification-Led Smart Contracts
|
2020 |
Banach, Richard |
| SoK: Development of Secure Smart Contracts — Lessons from a Graduate Course
|
2020 |
Angelo, Monika di |
| Is Solidity Solid Enough?
|
2020 |
Crafa, Silvia |
| Trustee: Full Privacy Preserving Vickrey Auction on Top of Ethereum
|
2020 |
Galal, Hisham S. |
| Election Manipulation 100
|
2020 |
Blom, Michelle |
| Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits
|
2020 |
Ottoboni, Kellie |
| How to Assess the Usability Metrics of E-Voting Schemes
|
2020 |
Marky, Karola |
| Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme
|
2020 |
Rønne, Peter B. |
| PrivApollo — Secret Ballot E2E-V Internet Voting
|
2020 |
Wu, Hua |
| Proof-of-Work Sidechains
|
2020 |
Kiayias, Aggelos |
| You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies
|
2020 |
McCorry, Patrick |
| End-to-End Verifiable Quadratic Voting with Everlasting Privacy
|
2020 |
Pereira, Olivier |
| Lattice-Based Proof of a Shuffle
|
2020 |
Costa, Nuria |
| Short Paper: Deploying PayWord on Ethereum
|
2020 |
Elsheikh, Muhammad |
| A Java Framework for Smart Contracts
|
2020 |
Spoto, Fausto |
| Improving the Performance of Cryptographic Voting Protocols
|
2020 |
Haenni, Rolf |
| Two-Party State Channels with Assertions
|
2020 |
Buckland, Chris |
| Sluggish Mining: Profiting from the Verifier’s Dilemma
|
2020 |
Pontiveros, Beltrán Borja Fiz |
Tag hinzufügen