A public ledger is a tamperproof sequence of data that can be read and augmented by everyone. Shared public ledgers stand to revolutionize the way a democratic society operates. They secure all kinds of traditional transactions—such as payments, asset transfers, titling—in the exact order in which they occur; and enable totally new transactions—such as cryptocurrencies and smart contracts. They can remove intermediaries and usher in a new paradigm for trust. As currently implemented, however, public ledgers cannot achieve their enormous potential.

Algorand is a quite alternative, truly democratic, and very efficient way to implement a public ledger. Unlike prior implementations based on proof of work, it requires a negligible amount of computation, and generates a transaction history that will not "fork" with overwhelmingly high probability.

Sietse Ringers, Eric Verheul and Jaap-Henk Hoepman. An efficient self-blindable attribute-based credential scheme

Sherman S. M. Chow, Haibin Zhang and Tao Zhang. Real Hidden Identity-Based Signatures

Jagmohan Chauhan, Benjamin Zi Hao Zhao, Hassan Jameel Asghar, Jonathan Chan and Mohamed Ali Kaafar. BehavioCog: An Observation Resistant Authentication Scheme

Christian Cachin, Jan Camenisch, Eduarda Freire-Stoegbuchner and Anja Lehmann. Updatable Tokenization: Formal Definitions and Provably Secure Constructions

Qian Wang, Kui Ren, Minxin Du and Aziz Mohaisen. SecGDB: Graph Encryption for Exact Shortest Distance Queries with Efficient Updates

Gabriel Kaptchuk, Matthew Green and Aviel Rubin. Outsourcing Medical Dataset Analysis: A Possible Solution

David Derler, Sebastian Ramacher and Daniel Slamanig. Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation

Anamaria Costache, Nigel P. Smart and Srinivas Vivek. Faster Homomorphic Evaluation of Discrete Fourier Transforms (rescheduled from session 9)

Youngho Yoo, Reza Azarderakhsh, Amir Jalali, David Jao, Vladimir Soukharev. A Post-Quantum Digital Signature Scheme based on Supersingular Isogenies

Helger Lipmaa. Optimally Sound Sigma Protocols Under DCRA

Reihaneh Safavi-Naini, Viliam Lisy and Yvo Desmedt. Economically Optimal Variable Tag Length Authentication

Peter Todd and Harry Halpin. OpenTimestamps: Securing Software Updates using the Bitcoin Blockchain

Anirban Basu, Joshua Jeeson Daniel, Sushmita Ruj, Mohammad Shahriar Rahman, Theo Dimitrakos, and Shinsaku Kiyomoto. Accountability and integrity for data management using blockchains

Mohammad Shahriar Rahman, Anirban Basu, and Shinsaku Kiyomoto. Broker-mediated Trade Finance with Blockchains

Alexander Chepurnoy. Σ-State Authentication Language, an Alternative to Bitcoin Script

Niek J. Bouman, Martha E. Nikolaou and Bas van Schriek. The Amount as a Predictor of Transaction Fraud

Ajaya Neupane, Md Lutfor Rahman and Nitesh Saxena. PEEP: Passively Eavesdropping Private Input via Brainwave Signals

Michael Schwarz, Clémentine Maurice, Daniel Gruss and Stefan Mangard. Fantastic Timers and Where to Find Them: High-Resolution Microarchitectural Attacks in JavaScript

Gunnar Hartung. Attacks on Secure Logging Schemes

Steven Goldfeder, Joseph Bonneau, Rosario Gennaro and Arvind Narayanan. Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin

Orfeas Stefanos Thyfronitis Litos and Dionysis Zindros. TrustIsRisk: A Decentralized Financial Trust Platform

Patrick McCorry, Siamak Shahandashti and Feng Hao. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

Leonid Reyzin, Dmitry Meshkov, Alexander Chepurnoy and Sasha Ivanov. Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies

Adem Efe Gencer, Robbert van Renesse, Emin Gün Sirer. Short Paper: Service-Oriented Sharding for Blockchains

Transfer to Valetta with classic Maltese buses, walking tour of the city, Upper Barrakka Gardens, private opening of St. John's Co-Cathedral, return to Sliema harbour by wooden gullet including on-board buffet.

Aanchal Malhotra, Matthew Van Gundy, Mayank Varia, Haydn Kennedy, Jonathan Gardner and Sharon Goldberg. The Security of NTP's Datagram Protocol

Pawel Szalachowski, Adrian Perrig. Short Paper: On Deployment of DNS-based Security Enhancements

Albrecht Petzoldt, Alan Szepieniec and Mohamed Saied Emam Mohamed. A Practical Multivariate Blind Signature Scheme

Essam Ghadafi. Efficient Round-Optimal Blind Signatures in the Standard Model

Bernardo Portela, Manuel Barbosa, Guillaume Scerri, Bogdan Warinschi, Raad Bahmani, Ferdinand Brasser and Ahmad-Reza Sadeghi. Secure Multiparty Computation from SGX

Wakaha Ogata and Kaoru Kurosawa. Efficient No-dictionary Verifiable SSE

Ryan Stanley-Oakes. A Provably Secure PKCS#11 Configuration Without Authenticated Attributes (rescheduled from session 4)

Nayanamana Samarasinghe and Mohammad Mannan. Short Paper: TLS Ecosystems in Networked Devices vs Web Servers

Yevgeniy Dodis and Dario Fiore. Unilaterally-Authenticated Key Exchange

Karthikeyan Bhargavan, Antoine Delignat-Lavaud and Nadim Kobeissi. Formal Modeling and Verification for Domain Validation and ACME

Tom Chothia, Flavio Garcia, Christopher Heppel and Christopher McMahon-Stone. Why Banker Bob (still) can't get TLS right: A Security Analysis of TLS in Leading UK Banking Apps

Transfer to the old capital of Mdina, short walking tour of the city followed by a buffet dinner of traditional Maltese specialties.

Cecylia Bocovich, John A. Doucette and Ian Goldberg. Lavinia: An audit-payment protocol for censorship-resistant storage

Helger Lipmaa and Kateryna Pavlyk. A Simpler Rate-Optimal CPIR Protocol

Matthew Smith, Daniel Moser, Martin Strohmeier, Vincent Lenders and Ivan Martinovic. Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS

Vincent Taylor and Ivan Martinovic. Short Paper: A Longitudinal Study of Financial Apps in the Google Play Store

Markus Jakobsson. Short Paper: Addressing Sophisticated Email Attacks

When Cash & Crypto Collide

Fiat currencies around the world are beginning to transition to a purely digital form. One need look no further than Venezeula's move to demonetize their 100 bolivar bill; or India's 500 and 1000 rupee note demonetization. These are both clear signals that fiat currency is about to mean something very different in the coming decade. With a purely digital fiat currency, governments expect to expose black market monetary stockpiles, increase the number of participants in the banking system, and improve fiscal efficiency. There will of course be unintended side effects. As money ceases to have any form but ones and zeroes, the role of the security services providers guaranteeing the safe transmission of money around the world is going to increase.

As currency is transmitted in the black box form of secure encrypted tokens, will security guarantors step into the role of monetary authorities?

A: Blue Grotto, Hagar Qim temples, Marsaxlokk fishing village

B: Three Cities (walking tour), Dghasja cruise, Inquisitor's Palace

C: Ta' Qali crafts village, Maria Rosa wine estate (including tasting)

D: Harbour cruise (on your own, ticket provided)

Note: the timing of the lunch and breaks is coordinated among all of the workshops, but some workshops might start earlier in the morning or end later in the afternoon. See their individual programs for details. Workshop registrants can attend any of the workshops and can switch between them as desired.

BITCOIN'17: 4th Workshop on Bitcoin and Blockchain Research
Location: State Hall

TA'17: 1st Workshop on Targeted Attacks
Location: Royal Hall Part 2
Invited Talk: John Wilson. Social Engineering the Social Engineer

VOTING'17: 2nd Workshop on Advances in Secure Electronic Voting Schemes
Location: Royal Hall Part 1
Keynote: Philip Stark. Sometimes, a Paper Trail Isn't Worth the Paper It's Printed on

WAHC'17: 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography
Location: Palazzo Capua
Invited Talks: Kim Laine. Microsoft's Homomorphic SEAL Library; and Yuriy Polyakov. The PALISADE Project

BITCOIN'17 (continued): 4th Workshop on Bitcoin and Blockchain Research
Location: State Hall

VOTING'17 (continued): 2nd Workshop on Advances in Secure Electronic Voting Schemes
Location: Royal Hall Part 1

WAHC'17 (continued): 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography
Location: Palazzo Capua

WTSC'17: 1st Workshop on Trusted Smart Contracts
Location: Royal Hall Part 2
Invited Speaker: Vitalik Buterin. Blockchain and Smart Contract Mechanism Design Challenges