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 [Slides]
Luca Olivieri, Fausto Spoto and Fabio Tagliaferro
2. Publicly Verifiable and Secrecy Preserving Periodic Auctions [Slides]
Hisham Galal and Amr Youssef
3. EthVer: Formal verification of randomized Ethereum smart contracts [Slides]
Lukasz Mazurek
4. Absentia: secure function evaluation on Ethereum [Slides]
Didem Demirag and Jeremy Clark
5. Empirical Analysis of On-chain Voting with Smart Contracts [Slides]
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 [Slides]
Ulrich Gallersdörfer, Friederike Groschupp and Florian Matthes
7. Reactive Key-Loss Protection in Blockchains [Slides]
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 [Slides]
Bolton Bailey and Suryanarayana Sankagiri
9. Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks [Slides]
Dionysis Zindros
10. Privacy-preserving Resource Sharing using Permissioned Blockchains (the Case of Smart Neighbourhood) [Slides]
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 [Slides]
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 [Slides]
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 [Slides]
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 [Slides]
Kentaro Sako, Shin'Ichiro Matsuo and Sachin Meier
16. Coins, Covid, Keynes and K-Shaped Recovery [Slides]
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.