Monday 18.07.2016

Department of Informatics, University of Athens

Room A56, first floor (conference room)

Schedule

10:15 - 10:50 Aggelos Kiayias

Title. Foundations of Blockchain Protocols

10:50 - 11:30 Vasilis Zikas (Rensselaer Polytechnic Institute)

Title. Provably Secure Virus Detection: Using The Observer Effect Against Malware

11:30 - 11:45 Break

11:45 - 12:25 Helger Lipmaa (University of Tartu)

Title. Non-interactive Zero-Knowledge Proofs and Applications

12:25 - 13:00 Thomas Zacharias 

Title. Post DEMOS e-voting: subsequent work and future directions

13:00 - 14:00 Pizza, Drinks and Coffee

14:00 - 14:30 Katerina Samari 

Title. Watermarking Cryptographic Functionalities

14:30 - 15:00 Yiannis Tselekounis

Title. Blockchain Mining Games

15:00 - 15:15 Short Talks

Title. Short presentations by students preparing their undergraduate or Master’s thesis.

1. -Christos Kasketis: Stealing your ISP's super weapons.
   

2. -Orfeas Litos: Decentralized trust network.
   

3. -Konstantinos Andrikopoulos, Dimitris Kolotouros: Multi-party end-to-end encrypted chat.
   

15:15 - 15:30 Break

15:30 - 16:00 Dimitris Karakostas, Eva Sarafianou, Dionysis Zindros

Title. Compression side-channel attacks

16:00 - 17:00 George Argyros (Columbia University)

Title. Symbolic Automata Inference: New Algorithms and Applications

17:00 --- ... Wine, Beer and Cheese.

Sponsored by ERC project

CODAMODA

show with abstracts