Session Chair: Kazue Sako COSIC, an imec lab at KU Leuven This talk will offer a perspective on the fast rise of cryptocurrencies based on proof of work, with Bitcoin as most prominent example. In about a decade, a white paper of nine pages has resulted in massive capital investments, a global ecosystem with a … Continued

Incentives for Harvesting Attack in Proof of Work mining poolsYevhen Zolotavkin and Veronika Kuchta A Lattice-Based Linkable Ring Signature Supporting Stealth AddressesZhen Liu, Khoa Nguyen, Guomin Yang, Huaxiong Wang and Duncan, S. Wong Annotary: A Concolic Execution System for Developing Secure Smart ContractsKonrad Weiss and Julian Schuette PDFS: Practical Data Feed Service for Smart ContractsJuan … Continued

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta PrivacySébastien Gondron and Sebastian A. Mödersheim ProCSA: Protecting Privacy in Crowdsourced Spectrum AllocationMax Curran, Xiao Liang, Himanshu Gupta, Omkant Pandey and Samir Das Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using BisimilarityRoss Horne, Sjouke Mauw, Zach Smith and Ihor Filimonov Symmetric-key Corruption Detection: … Continued

Session Chair: Peter Ryan Electronic voting aims to achieve the same properties as traditional paper based voting. Even when voters vote from their home, they should be given the same guarantees, without having to trust the election authorities, the voting infrastructure, and/or the Internet network. The two main security goals are vote privacy: no one should know how … Continued

A Formal Model for Checking Cryptographic API Usage in JavaScriptDuncan Mitchell and Johannes Kinder Contingent Payments on a Public Ledger: Models and Reductions for Automated VerificationSergiu Bursuc and Steve Kremer Symbolic Analysis of Terrorist Fraud ResistanceAlexandre Debant, Stephanie Delaune and Cyrille Wiedling Secure Communication Channel Establishment: TLS 1.3 (Over TCP Fast Open) vs. QUICShan Chen, … Continued