April 26-28, 2017 in Paris, France

2nd IEEE European Symposium on Security and Privacy


The following list constitutes the schedule of the short talks accepted at EuroS&P 2017.

Usable and secure group chat
Ruba Abu-Salma (UCL), Juliane Kramer (TU Darmstadt), and M. Angela Sasse (UCL)
Christopher Allen (#RebootingWebOfTrust)
Using RUP security to protect Tor against crypto tagging
Tomer Ashur (KU Leuven), Orr Dunkelman (University of Haifa), and Atul Luykx (KU Leuven and UC Davis)
Browser extension and login-leak experiment
Nataliia Bielova, Gábor Gulyás, and Claude Castellucia (Inria)
SAT-Equiv: an efficient tool for equivalence properties
Antoine Dallon (LORIA and LSV, CNRS and ENS Paris-Saclay), Véronique Cortier (LORIA, CNRS), and Stéphanie Delaune (IRISA, CNRS)
WireGuard - Next generation secure network tunnel
Jason Donenfeld
Seamless authentication with Pico
Kat Krol, Seb Aebischer, David Llewellyn-Jones, Claudio Dettoni, and Frank Stajano (Cambridge)
Privacy-preserving multibiometric authentication in cloud with untrusted database providers
Christina-Angeliki Toli, Abdelrahman Aly, and Bart Preneel (KU Leuven and imec)
Regaining lost cycles with HotCalls: a fast interface for SGX secure enclaves
Ofir Weisse, Valeria Bertacco, and Todd Austin (U. Michigan)
HACL*, a verified C library for modern cryptography
Jean-Karim Zinzindohoué (Inria), Kathikeyan Bhargavan (Inria), Jonathan Protzenko (Microsoft Research), and Benjamin Beurdouche (Inria)