Usable and secure group chat
Ruba Abu-Salma (UCL), Juliane Kramer (TU Darmstadt), and M. Angela Sasse (UCL)

#RebootingWebOfTrust
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)