3^rd 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
	www.iang.org
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
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.