6th Workshop on Trusted Smart Contracts
May 6, 2022 ( NEW DATE! )
Programme
Some presentations will be in remote,
but after some of them (V)
there will be the Q/A session live using Zoom platform.
ID Meeting: 875 7748 3361
Passcode: WTSC22QA
| 09:00-10:30 | VERIFIABLE BLOCKCHAINS |
| 1. | Lelantus Spark: Secure and Flexible Private Transactions, [Video] |
| Aram Jivanyan and Aaron Feickert. | |
| 2. | Fides: A System for Verifiable Computation Using Smart Contracts, [Video] |
| Mahmudun Nabi, Sepideh Avizheh, and Reihaneh Safavi-Naini. (V) |
|
| 3. | Towards Smart Contract-based Verification of Anonymous Credentials, |
| Robert Muth, Tarek Galal, Jonathan Heiß, and Florian Tschorsch. | |
| 4. | Dispute-free Scalable Open Vote Network using zk-SNARKs, [Video] |
| Muhammad Elsheikh and Amr M. Youssef. (V) |
|
| 10:30–11:00 | Break |
| 11:00–12:30 | SMART CONTRACT CODING |
| 5. | Not All Code are Create2 Equal, [Video] |
| Michael Fröwis and Rainer Böhme. (V) |
|
| 6. | Not so immutable: Upgradeability of Smart Contracts on Ethereum, [Video] |
| Mehdi Salehi, Jeremy Clark, and Mohammad Mannan. (V) |
|
| 7. | Protocol-based smart contract generation, [Video] |
| Afonso Falcão, Andreia Mordido, and Vasco T. Vasconcelos. (V) |
|
| 8. | Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain, |
| Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, and Haiqin Wu. | |
| 12:30–14:00 | Lunch |
| 14:00–15:30 | ROUND TABLE - Current and Future Trends Joint session with CoDecFin'22 (Grenada Room) |
| Open discussion with Aanchal Malhotra (Ripple), Andrea Bracciali (University of Stirling), Andrew Miller (UIUC), Don Beaver (Meta FinTech), Mohsen Minaei (Visa Research), Matthew Doty (CasperLabs), Shin'ichiro Matsuo (Georgetown University, NTT Research and BSafe.network). | |
| 16:00–17:30 | DEFI and PAYMENTS |
| 9. | Lissy: Experimenting with On-chain Order Books, [Video] |
| Mahsa Moosavi and Jeremy Clark. (V) |
|
| 10. | Hours of Horus: Keyless Cryptocurrency Wallets, |
| Dionysis Zindros. | |
| 11. | A Scalable Architecture for Electronic Payments, |
| Geoffrey Goodell, D. R. Toliver, and Hazem Danny Nakib. | |
| 12. | UTS: the Universal Token Swapper, [Video] |
| Fadi Barbara, Alessandro Sanino, and Claudio Schifanella. |
This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.