Summer School Talks

Talks

Here are the currently confirmed summer school talks!

  • Recent advances in computing discrete logarithms in finite fields
  • Speaker: Pierrick Gaudry

  • Abstract: The discrete logarithm problem in finite fields is the basis of the security of many deployed cryptographic products. Prime fields (of the form Z/pZ, for a prime p) are frequently used, and in the realm of pairing-friendly elliptic curves, fields of cardinality p^k are involved, where k is around 10.

  • Formal verification of electronic voting systems
  • Speaker: Véronique Cortier

  • Abstract: Electronic voting aims at guaranteeing apparently conflicting properties: no one should know how I voted and yet, I should be able to check that my vote has been properly counted. Electronic voting belongs to the large family of security protocols, that aim at securing communications against powerful adversaries that may read, block, and modify messages.

  • Secret Key Recovery from Partial Information in the Pre- and Post-Quantum World
  • Speaker: Alexander May

  • Abstract: Some cryptographic schemes, like RSA, have the remarkable property that partial leakage of their secret key leads to efficient full secret key recovery (in polynomial time). In this talk, we question the common belief that modern post-quantum schemes are widely resistant to full secret key recovery from partial information.

  • Six Attacks on Matrix
  • Speaker: Martin Albrecht

  • Abstract: Matrix is an open standard for interoperable, federated, real-time communication over the Internet. In particular, the specification defines a federated communication protocol allowing clients, with accounts on different Matrix servers, to exchange messages across the entire ecosystem.

  • Formally Analysing Secure Messaging
  • Speaker: Benjamin Dowling

  • Abstract: The last decade has seen the rapid adoption and widespread use of secure messaging schemes: chat applications that enable end-to-end encryption between two or more parties. These services are integrated into our personal and professional lives, and even used for highly sensitive and confidential communication. WhatsApp alone claims two billion active users and is used across government departments within the UK, Telegram half a billion active users, and Matrix is used across the public sector within the EU.

  • Computer Security: An effect, not a goal
  • Speaker:Tobias Fiebig

  • Abstract: Building secure digital infrastructure is often seen as the ultimate goal of the field of computer security. As researchers, we do our best to contribute to this goal, and develop new technology focused at securing existing and future systems; From the hardware layer, over cryptography, operating systems, and systems' security, to network security, intrusion detection, and ultimately usable security and privacy.




Speakers

Here are the currently confirmed school speakers!

#

Kathrin Hövelmanns

Eindhoven University of Technology (TU/e), The Netherlands
#

Pierrick Gaudry

LORIA Nancy, France
#

Véronique Cortier

LORIA Nancy, France
#

Alexander May

Ruhr University Bochum, Germany
#

Martin Albrecht

King’s College London, UK
#

Benjamin Dowling

University of Sheffield, UK
#

Joost Renes

NXP Semiconductors, The Netherlands
#

Tobias Fiebig

Max Planck Institute for Informatics, Germany
#

Ingrid Verbauwhede

COSIC, KU Leuven, Belgium
#

Christina Pöpper

NYU Abu Dhabi, UAE
#

Christoph Dobraunig

Intel, Austria
#

Aanjhan Ranganathan

Northeastern University, Boston, USA