CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <title>FC'17 : Program</title> <meta http-equiv="Content-Type" content="text/html;charset=utf-8" /> <meta name="keywords" content="fc17, financial cryptography, conference" /> <meta name="description" content="Financial Cryptography and Data Security is a major international forum for research, advanced development, education, exploration, and debate regarding information assurance, with a specific focus on commercial contexts. The conference covers all aspects of securing transactions and systems. Original works focusing on both fundamental and applied real-world deployments on all aspects surrounding commerce security are solicited." /> <link rel="stylesheet" href="fc17.css" type="text/css" /> </head> <body> <div class="header"> <table class="header" border="0" cellspacing="0" cellpadding="0"> <tr> <td colspan="2" class="header"> </td> </tr> <tr> <td class="menu"> <div class="menu"> <a href="index.html" class="menu">Home</a> <a href="cfp.html" class="menu">Call for Papers</a> Program  <a href="registration.html" class="menu">Registration</a> <a href="workshops.html" class="menu">Workshops</a> <a href="travel.html" class="menu">Travel</a> <a href="accommodation.html" class="menu">Accommodation</a> <a href="stipends.html" class="menu">Student Grants</a> <a href="sponsorship.html" class="menu">Sponsorship</a>   Platinum Sponsors <a href="https://blockstream.com" target="_blank"><img src="images/blockstream.png" alt="Blockstream" /></a> <a href="https://iohk.io" target="_blank"><img src="images/iohk.png" alt="IOHK" /></a> <a href="https://www.thales-esecurity.com/" target="_blank"><img src="images/thales.png" alt="Thales" /></a>  Gold Sponsors <a href="http://cybersecurity.rohde-schwarz.com" target="_blank"><img src="images/RSCS.png" alt="Rohde&Schwarz" /></a> Silver Sponsors  <a href="http://bit.ly/2ldE8Bm" target="_blank"><img src="images/cybers.gif" alt="OUP" /></a>  Sponsors in Kind <a href="http://www.worldpay.com" target="_blank"><img src="images/worldpay.png" alt="Worldpay" /></a> Student Support  <a href="http://www.onr.navy.mil/en/Science-Technology/ONR-Global.aspx" target="_blank"><img src="images/onrg.png" alt="ONR Global" /></a> </div> </td> <td class="content" width="500"> <div class="content">  <h2>Program</h2> <h3>   Financial Cryptography and Data Security 2017 </h3> <img src="images/logo-transparent.gif" width="276" height="99" alt="International Financial Cryptography Association logo" /> <h4> Twenty-First International Conference April 3–7, 2017 <a href="http://thepalacemalta.com/" target="_blank">The Palace Hotel</a> Malta </h4>   <table width="100%" cellspacing="2" cellpadding="2"> <tr> <td class="schedule" colspan="2"> All events take place in the Royal Hall at The Palace Hotel unless otherwise indicated. </td> </tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan="2"> Sunday, April 2, 2017 </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> </tr> <tr> <td class="schedule">16:00–18:00</td> <td>Registration Reception Location: Alexandra Gardens / State Hall foyer </td> </tr> <tr><td></td></tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan="2"> Monday, April 3, 2017 </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">08:30–09:00</td> <td>Registration</td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">09:00–09:10</td> <td>Opening Remarks</td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">09:10–10:10</td> <td> <center>Session 1: Opening Keynote Session Chair: Aggelos Kiayias Silvio Micali Massachusetts Institute of Technology</center> ALGORAND: A New Public Ledger 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. </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:10–10:40</td> <td>Break</td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:40–12:20</td> <td> <center>Session 2: Privacy and Identity Management Session Chair: Moti Yung</center> Sietse Ringers, Eric Verheul and Jaap-Henk Hoepman. <a href="preproceedings/paper_69.pdf">An efficient self-blindable attribute-based credential scheme</a> Sherman S. M. Chow, Haibin Zhang and Tao Zhang. <a href="preproceedings/paper_128.pdf">Real Hidden Identity-Based Signatures</a> Jagmohan Chauhan, Benjamin Zi Hao Zhao, Hassan Jameel Asghar, Jonathan Chan and Mohamed Ali Kaafar. <a href="preproceedings/paper_40.pdf">BehavioCog: An Observation Resistant Authentication Scheme</a> Christian Cachin, Jan Camenisch, Eduarda Freire-Stoegbuchner and Anja Lehmann. <a href="preproceedings/paper_31.pdf">Updatable Tokenization: Formal Definitions and Provably Secure Constructions</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">12:20–14:00</td> <td>Lunch Location: The Tabloid </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">14:00–15:15</td> <td> <center>Session 3: Privacy and Data Processing Session Chair: Dario Fiore</center> Qian Wang, Kui Ren, Minxin Du and Aziz Mohaisen. <a href="preproceedings/paper_65-2.pdf">SecGDB: Graph Encryption for Exact Shortest Distance Queries with Efficient Updates</a> Gabriel Kaptchuk, Matthew Green and Aviel Rubin. <a href="preproceedings/paper_97.pdf">Outsourcing Medical Dataset Analysis: A Possible Solution</a> David Derler, Sebastian Ramacher and Daniel Slamanig. <a href="preproceedings/paper_14.pdf">Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">15:15–15:45</td> <td>Break</td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">15:45–17:25</td> <td> <center>Session 4: Cryptographic Primitives and API's Session Chair: Stefan Dziembowski</center> Anamaria Costache, Nigel P. Smart and Srinivas Vivek. <a href="preproceedings/paper_6.pdf">Faster Homomorphic Evaluation of Discrete Fourier Transforms</a> (rescheduled from session 9) Youngho Yoo, Reza Azarderakhsh, Amir Jalali, David Jao, Vladimir Soukharev. <a href="preproceedings/paper_47.pdf">A Post-Quantum Digital Signature Scheme based on Supersingular Isogenies</a> Helger Lipmaa. <a href="preproceedings/paper_104.pdf">Optimally Sound Sigma Protocols Under DCRA</a> Reihaneh Safavi-Naini, Viliam Lisy and Yvo Desmedt. <a href="preproceedings/paper_59-2.pdf">Economically Optimal Variable Tag Length Authentication</a> </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">19:00–21:30</td> <td>Welcome Reception and Poster Session (Sponsored by <a href="https://blockstream.com" target="_blank">Blockstream</a>) Location: TemptAsian / Pool Deck 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 </td> </tr> <tr><td></td></tr> <tr><td></td></tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan="2"> Tuesday, April 4, 2017 </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">09:00–10:15</td> <td> <center>Session 5: Vulnerabilities and Exploits, I Session Chair: Ian Goldberg</center> Ajaya Neupane, Md Lutfor Rahman and Nitesh Saxena. <a href="preproceedings/paper_57.pdf">PEEP: Passively Eavesdropping Private Input via Brainwave Signals</a> Michael Schwarz, Clémentine Maurice, Daniel Gruss and Stefan Mangard. <a href="preproceedings/paper_8.pdf">Fantastic Timers and Where to Find Them: High-Resolution Microarchitectural Attacks in JavaScript</a> Gunnar Hartung. <a href="preproceedings/paper_9.pdf">Attacks on Secure Logging Schemes</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:15–10:45</td> <td>Break</td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">10:45–12:40</td> <td> <center>Session 6: Blockchain Technology Session Chair: Andrew Miller</center> Steven Goldfeder, Joseph Bonneau, Rosario Gennaro and Arvind Narayanan. <a href="preproceedings/paper_122.pdf">Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin</a> Orfeas Stefanos Thyfronitis Litos and Dionysis Zindros. <a href="preproceedings/paper_37.pdf">TrustIsRisk: A Decentralized Financial Trust Platform</a> Patrick McCorry, Siamak Shahandashti and Feng Hao. <a href="preproceedings/paper_80.pdf">A Smart Contract for Boardroom Voting with Maximum Voter Privacy</a> Leonid Reyzin, Dmitry Meshkov, Alexander Chepurnoy and Sasha Ivanov. <a href="preproceedings/paper_34.pdf">Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies</a> Adem Efe Gencer, Robbert van Renesse, Emin Gün Sirer. <a href="preproceedings/paper_73.pdf">Short Paper: Service-Oriented Sharding for Blockchains</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">15:00–19:30</td> <td>Excursion (Sponsored by <a href="https://iohk.io" target="_blank">IOHK</a>) 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.  </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">20:30–21:30</td> <td>IFCA General Meeting Location: Royal Hall </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">21:30–00:00</td> <td>Rump Session Location: Royal Hall Session Chair: Joe Bonneau</td> </tr> <tr><td></td></tr> <tr><td></td></tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan=2> Wednesday, April 5, 2017 </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">09:00–09:50</td> <td> <center>Session 7: Security of Internet Protocols Session Chair: Leo Reyzin</center> Aanchal Malhotra, Matthew Van Gundy, Mayank Varia, Haydn Kennedy, Jonathan Gardner and Sharon Goldberg. <a href="preproceedings/paper_29.pdf">The Security of NTP's Datagram Protocol</a> Pawel Szalachowski, Adrian Perrig. <a href="preproceedings/paper_64.pdf">Short Paper: On Deployment of DNS-based Security Enhancements</a> </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">09:50–10:40</td> <td> <center>Session 8: Blind signatures Session Chair: Kazue Sako</center> Albrecht Petzoldt, Alan Szepieniec and Mohamed Saied Emam Mohamed. <a href="preproceedings/paper_66.pdf">A Practical Multivariate Blind Signature Scheme</a> Essam Ghadafi. <a href="preproceedings/paper_55.pdf">Efficient Round-Optimal Blind Signatures in the Standard Model</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:40–11:10</td> <td>Break</td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">11:10–12:25</td> <td> <center>Session 9: Searching and Processing Private Data Session Chair: Rei Safavi-Naini</center> Bernardo Portela, Manuel Barbosa, Guillaume Scerri, Bogdan Warinschi, Raad Bahmani, Ferdinand Brasser and Ahmad-Reza Sadeghi. <a href="preproceedings/paper_89.pdf">Secure Multiparty Computation from SGX</a> Wakaha Ogata and Kaoru Kurosawa. <a href="preproceedings/paper_22.pdf">Efficient No-dictionary Verifiable SSE</a> Ryan Stanley-Oakes. <a href="preproceedings/paper_25-2.pdf">A Provably Secure PKCS#11 Configuration Without Authenticated Attributes</a> (rescheduled from session 4) </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">12:25–14:00</td> <td>Lunch Location: The Tabloid </td> </tr> <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">14:00–15:30</td> <td> <center>Session 10: Secure Channel Protocols Session Chair: Feng Hao</center> Nayanamana Samarasinghe and Mohammad Mannan. <a href="preproceedings/paper_93.pdf">Short Paper: TLS Ecosystems in Networked Devices vs Web Servers</a> Yevgeniy Dodis and Dario Fiore. <a href="preproceedings/paper_78.pdf">Unilaterally-Authenticated Key Exchange</a> Karthikeyan Bhargavan, Antoine Delignat-Lavaud and Nadim Kobeissi. <a href="preproceedings/paper_15.pdf">Formal Modeling and Verification for Domain Validation and ACME</a> Tom Chothia, Flavio Garcia, Christopher Heppel and Christopher McMahon-Stone. <a href="preproceedings/paper_83-2.pdf">Why Banker Bob (still) can't get TLS right: A Security Analysis of TLS in Leading UK Banking Apps</a> </td> </tr>  <tr><td colspan="2"><hr></td></tr> <tr> <td class="schedule">18:00–22:00</td> <td>Maltese Evening (Sponsored by <a href="https://www.thales-esecurity.com/" target="_blank">Thales e-Security</a>) Location: Bacchus Restaurant, Mdina Transfer to the old capital of Mdina, short walking tour of the city followed by a buffet dinner of traditional Maltese specialties. </td> </tr> <tr><td></td></tr> <tr><td></td></tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan=2> Thursday, April 6, 2017 </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">09:00–09:50</td> <td> <center>Session 11: Privacy in Data Storage and Retrieval Session Chair: Peter Ryan</center> Cecylia Bocovich, John A. Doucette and Ian Goldberg. <a href="preproceedings/paper_19.pdf">Lavinia: An audit-payment protocol for censorship-resistant storage</a> Helger Lipmaa and Kateryna Pavlyk. <a href="preproceedings/paper_24.pdf">A Simpler Rate-Optimal CPIR Protocol</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">09:50–10:45</td> <td> <center>Session 12: Vulnerabilities and Exploits, II Session Chair: Ari Juels</center> Matthew Smith, Daniel Moser, Martin Strohmeier, Vincent Lenders and Ivan Martinovic. <a href="preproceedings/paper_17.pdf">Economy Class Crypto: Exploring Weak Cipher Usage in Avionic Communications via ACARS</a> Vincent Taylor and Ivan Martinovic. <a href="preproceedings/paper_45.pdf">Short Paper: A Longitudinal Study of Financial Apps in the Google Play Store</a> Markus Jakobsson. <a href="preproceedings/paper_10-2.pdf">Short Paper: Addressing Sophisticated Email Attacks</a> </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:45–11:15</td> <td>Break</td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">11:15–12:35</td> <td> <center>Session 13: Panel Moderator: William Scannell Panelists: Adam Back, Tiago Teles, Tarah Wheeler </center> 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? </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">12:35–12:40</td> <td>Closing Remarks</td> </tr>  <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">12:40–14:00</td> <td>Lunch Location: The Tabloid </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">14:00–18:30</td> <td>Free Afternoon with Activities (sign-up sheets will be available) 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)   </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">19:00–21:00</td> <td>Workshop Reception (for workshop registrants) Location: Alexandra Gardens / State Hall foyer </td> </tr> <tr><td></td></tr> <tr><td></td></tr> <tr><td></td></tr> <tr bgcolor="lightgrey"> <td class="schedule" colspan=2> Friday, April 7, 2017 </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">09:00–12:30</td> <td> <center>Morning Workshops</center> 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: <a href ="bitcoin/" target="_blank">4th Workshop on Bitcoin and Blockchain Research</a> Location: State Hall TA'17: <a href="https://www.agari.com/targeted-attacks-2017/" target="_blank">1st Workshop on Targeted Attacks</a> Location: Royal Hall Part 2 Invited Talk: John Wilson. Social Engineering the Social Engineer VOTING'17: <a href ="voting/" target="_blank">2nd Workshop on Advances in Secure Electronic Voting Schemes</a> Location: Royal Hall Part 1 Keynote: Philip Stark. Sometimes, a Paper Trail Isn't Worth the Paper It's Printed on WAHC'17: <a href="https://www.dcsec.uni-hannover.de/wahc17" target="_blank">5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography</a> Location: Palazzo Capua Invited Talks: Kim Laine. Microsoft's Homomorphic SEAL Library; and Yuriy Polyakov. The PALISADE Project </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">10:30–11:00</td> <td>Break</td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">12:30–14:00</td> <td>Lunch Location: The Tabloid </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">14:00–17:30</td> <td> <center>Afternoon Workshops</center> BITCOIN'17 (continued): <a href ="bitcoin/" target="_blank">4th Workshop on Bitcoin and Blockchain Research</a> Location: State Hall VOTING'17 (continued): <a href ="voting/" target="_blank">2nd Workshop on Advances in Secure Electronic Voting Schemes</a> Location: Royal Hall Part 1 WAHC'17 (continued): <a href="https://www.dcsec.uni-hannover.de/wahc17" target="_blank">5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography</a> Location: Palazzo Capua WTSC'17: <a href ="wtsc/" target="_blank">1st Workshop on Trusted Smart Contracts</a> Location: Royal Hall Part 2 Invited Speaker: Vitalik Buterin. Blockchain and Smart Contract Mechanism Design Challenges </td> </tr> <tr><td colspan=2><hr></td></tr> <tr> <td class="schedule">15:00–15:30</td> <td>Break (note revised time!)</td> </tr>  </table>       This conference is organized annually by the <a href="http://ifca.ai/">International Financial Cryptography Association</a>.  </div> </td> </tr> </table> </div> </body> </html>