5th Workshop on Trusted Smart Contracts
March 5th 2021
Programme
ACCESS TO LIVE SESSIONS REQUIRES REGISTRATION
(though the main conference FC2021 web pages)
Please check on the conference pages how to participate
Pre-recorded video presentations are availalble
through the WTSC playlist on the conference
YOU TUBE channel
Pre-prints of accepted papers can be accessed on this page
14:00-14:10 >> UCT |
Openings |
14:10-15:00 | Invited Talk |
Advancements in Consensus Algorithms With Applications to Special Purpose Contracts [Slides] Abstract. We briefly review different approaches to smart contract security. We then explore special purpose contracts and discuss how greater security is expected from contracts that have a restricted scope. We provide examples where special purpose contracts may collapse Zooko's triangle. We will also explore other exciting applications. |
|
Darren Tapp | |
Dash Investment Foundation | |
15:00-15:10 | Break |
15:10-16:00 | Security and Verification |
1. |
On-Chain Smart Contract Verification over Tendermint
|
Luca Olivieri, Fausto Spoto and Fabio Tagliaferro | |
2. |
Publicly Verifiable and Secrecy Preserving Periodic Auctions
|
Hisham Galal and Amr Youssef | |
3. |
EthVer: Formal verification of randomized Ethereum smart contracts
|
Lukasz Mazurek | |
4. |
Absentia: secure function evaluation on Ethereum
|
Didem Demirag and Jeremy Clark | |
5. |
Empirical Analysis of On-chain Voting with Smart Contracts
|
Robert Muth and Florian Tschorsch | |
16:00-16:10 | Break |
16:10-17:00 | Foundations |
6. |
Mirroring Public Key Infrastructures to Blockchains for On-chain Authentication
|
Ulrich Gallersdörfer, Friederike Groschupp and Florian Matthes | |
7. |
Reactive Key-Loss Protection in Blockchains
|
Konstantinos Chalkias, Irakliy Khaburzaniya, Sam Blackshear, Tim Zakian, Eleftherios Kokoris Kogias, Joshua Lind, Panagiotis Chatzigiannis, Riyaz Faizullabhoy and David Wong | |
8. |
Merkle Trees Optimized for Stateless Clients inBitcoin
|
Bolton Bailey and Suryanarayana Sankagiri | |
9. |
Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks
|
Dionysis Zindros | |
10. |
Privacy-preserving Resource Sharing using Permissioned Blockchains (the Case of Smart Neighbourhood)
|
Sepideh Avizheh, Mahmudun Nabi, Saoreen Rahman, Reihaneh Safavi-Naini and Setareh Sharifian | |
17:00-17:20 | Attacks' Analysis |
11. |
SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies
|
Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn and Edgar Weippl | |
12. |
Pay To Win: Cheap, Cross-chain Bribing Attacks on PoW Cryptocurrencies
|
Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gaži, Sarah Meiklejohn and Edgar Weippl | |
17:20-17:30 | Break |
17:30-18:10 | DeFi and Tokens |
13. |
SoK: Lending Pools in Decentralized Finance
|
Massimo Bartoletti, James Hsin-Yu Chiang and Alberto Lluch Lafuente | |
14. | Standardized crypto-loans on the Cardano blockchain [Slides] |
Simon Thompson, Pablo Lamela Seijas, Alexander Nemish and Dmytro Kondratiuk | |
15. |
Fairness in ERC token markets: A Case Study of CryptoKitties
|
Kentaro Sako, Shin'Ichiro Matsuo and Sachin Meier | |
16. |
Coins, Covid, Keynes and K-Shaped Recovery
|
Pepi Martinez, William Huang and Bud Mishra | |
18:10-18:30 | WTSC21 Discussion and Closing |
18:30-19:30 | Round Table on DeFi -- with CoDecFin'21 |
This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.