3rd Workshop on Trusted Smart Contracts

February 22nd 2019

Accepted papers and Programme

08:30-09:00 Workshops Registration
09:00-10:00 Openings and Invited Talk I
On Trust
Ian Grigg

10:00-10:30 Session 1: channels
10:00 Short Paper: Two-Party State Channels with State Assertion [Slides]
Chris Buckland and Patrick McCorry
10:15 Short Paper: Secure Offline Payments in Bitcoin [Slides]
Taisei Takahashi and Akira Otsuka
10:30-11:00 Coffee Break with poster session
Participants are invited to present posters with provocative opinions,
interesting established or preliminary works, or cool ideas that will spark discussion.
11:00-12:00 Invited Talk II
Models for Smart Contracts: present and future perspectives [Slides]
Igor Artamonov (Splix)
Ethereum Classic - ETCDEV Founder [Slides]
12:00-12:40 Session 2: more channels
12:00 Proof-of-Work Sidechains [Slides]
Aggelos Kiayias and Dionysis Zindros
12:20 You sank my battleship! A case study to evaluate state channels as a scaling solution for cryptocurrencies [Slides]
Patrick McCorry, Chris Buckland, Surya Bakshi, Karl Wüst and Andrew Miller
12:40-14:00 Lunch - Location: Blu Restaurant
14:00-15:00 Session 3: Incentives and dilemmas
14:00 Game-theoretic Analysis of An Incentivized Verifiable Computation System [Slides]
Mahmudun Nabi, Sepideh Avizheh, Muni Venkateswarlu Kumaramangalam and Reihaneh Safavi-Naini
14:20 Sluggish Mining: Profiting from the Verifier's Dilemma [Slides]
Beltran Fiz, Christof Ferreira Torres and Radu State
14:40-15:00 Sponsor presentation and mini-break
14:40 Sponsor presentation: Quadrans
14:50 Mini-break
15:00-15:30 Session 4: payments and lessons
15:00 Short Paper: Deploying PayWord on Ethereum [Slides]
Muhammad Elsheikh, Jeremy Clark and Amr M. Youssef
15:15 SoK: Development of Secure Smart Contracts -- Lessons from a Graduate Course [Slides]
Monika Di Angelo, Christian Sack and Gernot Salzer
15:30-16:00 Coffee Break
16:00-18:10 Session 5: verification, security and privacy
16:00 Verification-Led Smart Contracts [Slides]
Richard Banach
16:20 A Java Framework for Smart Contracts [Slides]
Fausto Spoto
16:40 Is Solidity solid enough? [Slides]
Silvia Crafa, Matteo Di Pirro and Elena Zucca
17:00 WTSC 2019 Best Paper
17:10 Building Executable Secure Design Models for Smart Contracts with Formal Methods [Slides]
Weifeng Xu
17:30 SoK: Transparent Dishonesty: front-running attacks on Blockchain [Slides]
Shayan Eskandari, Seyedehmahsa Moosavi and Jeremy Clark
17:50 Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum [Slides]
Hisham Galal and Amr Youssef
18:10 Closing

This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.