| 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 |
| 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 |
| Two-Party State Channels with Assertions
|
2020 |
Buckland, Chris |
| Sluggish Mining: Profiting from the Verifier’s Dilemma
|
2020 |
Pontiveros, Beltrán Borja Fiz |
| Building Executable Secure Design Models for Smart Contracts with Formal Methods
|
2020 |
Xu, Weifeng |
| SoK: Transparent Dishonesty: Front-Running Attacks on Blockchain
|
2020 |
Eskandari, Shayan |
| k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-election Audits
|
2020 |
Sridhar, Mayuri |
| 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 |
Tag hinzufügen