Team CASA

Max Planck Institute for Security and Privacy - Principles of Security and Privacy

Founding Director of MPI-SP, PhD from the University of Manchester

E-Mail: Gilles.Barthe@mpi-sp.org

Main Focus: Programming Languages and Program Verification, Software and System Security, Cryptography, Formal Methods and Logic

Research Stops: University of Nice (today: Côte d'Azur University)

Max Planck Institute for Security and Privacy - Responsible Computing

PhD from MPI for Informatics and MPI for Software Systems (Saarbrücken)

E-Mail: Asia.Biega@mpi-sp.org

Main Focus: Ethically, socially, and legally responsible information and social computing systems and studies how they interact with and influence their users

Research Stops: Microsoft Research Lab (Montréal)

Max Planck Institute for Security and Privacy - Software Security

PhD from the National University of Singapore

E-Mail: Marcel.Boehme@mpi-sp.org

Main Focus: Automatic discovery and remediation of software bugs, security vulnerabilities, security guarantees, assurances, and certification

Research Stops: Saarland University (Saarbrücken), National University of Singapore, Monash University (Melbourne)

Ruhr-Universität Bochum - Software Security

PhD from the University of California (Santa Barbara)

E-Mail: Kevin.Borgolte@rub.de

Main Focus: Network and Internet Security, especially security and privacy of networked systems; software security, particularly analysis and vulnerability discovery; and Internet measurements, focusing on IPv6 visibility and security adoption

Research Stops: TU Delft (Netherlands), Princeton University (USA)

Max Planck Institute for Security and Privacy - Data Science for Humanity

PhD from the Korea Advanced Institute of Science and Technology (KAIST)

E-Mail: Mia.Cha@mpi-sp.org

Main Focus: Human-centred computing, information veracity, large language models, social computing

Research Stops: Institute for Basic Science (Daejeon, South Korea), Meta/Facebook (Menlo Park, California), Max Planck Institute for Software Systems (Saarbrücken), Korea Advanced Institute of Science and Technology (Daejeon, South Korea)

University of Duisburg-Essen - System Security

PhD from TU Darmstadt

E-Mail: Lucas.Davi@uni-due.de

Main Focus: Software exploitation techniques and defences

Research Stops: Intel Labs (Portland, USA), TU Darmstadt

Ruhr University Bochum - Machine Learning

PhD from University of Copenhagen, DK

E-Mail: Asja.Fischer@rub.de

Main Focus: Development, analysis, and application of deep learning models and methods

Research Stops: Université de Montréal (Canada), Bonn University

Ruhr-Universität Bochum - Security Engineering

PhD from Ruhr-Universität Bochum

E-Mail: Tim.Gueneysu@rub.de

Main Focus: Security Engineering, Efficient Cryptographic Implementations, Physically Resilient Cryptographic Systems, Security on Hardware Level, Practical Cryptanalysis

Research Stops: Mannheim, Bremen, Saint-Etienne, Massachusetts Amherst

Scientific Director at Max Planck Institute for Security and Privacy - System Security

PhD from Universität Mannheim

E-Mail: Thorsten.Holz@mpi-sp.org

Main Focus: System security, including the analysis, modeling, design, implementation, and validation of complex systems, automated identification, analysis, and mitigation of security vulnerabilities in modern computing environments, intersection of computer security and machine learning

Research Stops: Mannheim, Vienna, RUB, CISPA

Max Planck Institute for Security and Privacy - Formally Verified Security

PhD from Saarland University

E-Mail: Catalin.Hritcu@mpi-sp.org

Main Focus: Formal methods for security, programming languages, design and verification of security-critical systems

Research Stops: Saarland University, ENS Paris, Inria Paris, University of Pennsylvania, Microsoft Research Redmond

Ruhr University Bochum - Chair for Information Security

PhD from ETH Zurich

E-Mail: Ghassan.Karame@rub.de

Main Focus: Blockchain Security and Privacy, Machine Learning Security, Storage Security

Research Stops: Heidelberg, Zurich

Ruhr-Universität Bochum - Chair for Cryptography

PhD from Ruhr-Universität Bochum

E-Mail: Eike.Kiltz@rub.de

Main Focus: Foundations of privacy, Theoretical cryptography, Design and analysis of cryptographic protocols, Complexity Theory

Research Stops: Paris, Lausanne, Amsterdan, San Diego

Ruhr University Bochum - Chair for System Security

PhD degree in IT Security from Ruhr University Bochum

E-Mail: Katharina.Kohls@rub.de

Main Focus: Mobile network security, anonymity and privacy

Research Stops: Bochum, Nijmegen

Ruhr University Bochum - Chair for Symmetric Cryptography

PhD from Ruhr-Universität Bochum

E-Mail: Gregor.Leander@rub.de

Main Focus: Symmetric Cryptography, Block Ciphers, Lightweight Cryptography, Boolean Functions

Research Stops: Lyngby/Denmark, Toulon/France

Ruhr-Universität Bochum - Distributed Cryptogpraphy

PhD from Ruhr-Universität Bochum

E-Mail: julian.loss@rub.de

Main Focus: Applied and Theoretical Cryptography, Distributed Algorithms

Research Stops: Postdoc, University of Maryland (2019-2021); Postdoc, Carnegie Mellon University (2021); Tenure Track Faculty (2021-2024), CISPA; Tenured Faculty (2024-2025), CISPA

Ruhr University Bochum & Bocconi University

PhD from Friedrich-Alexander University

E-Mail: giulio.malavolta@unibocconi.it

Main Focus: Theory of cryptography and its connections with quantum computation, concurrent systems, cryptocurrencies, and game theory

Research Stops: Erlangen, Nürnberg

Ruhr University Bochum - Digital Sovereignty Group

PhD degree from Technical University of Darmstadt

E-Mail: Karola.Marky@rub.de

Main Focus: Human-Centred Security, Human-Computer Interaction, Digital Sovereignty, Digital Privacy

Research Stops: TU Kaiserslautern, National Institute of Informatics Japan, JAXA, Technical University of Darmstadt, University of Glasgow, Gottlieb Wilhelm Leibniz University Hanover, Keio University

Ruhr-Universität Bochum - Chair for Cryptology and IT Security

PhD from Universität Paderborn

E-Mail: Alex.May@rub.de

Main Focus: Cryptography, Protocols, Algorithmic Number Theory, Lattices, Coding Theory, Complexity Theory, Quantum Algorithms

Research Stops: Zürich, Paderborn, Darmstadt

Max Planck Institute for Security and Privacy - Technology Harm Prevention

PhD from University of Michigan

E-Mail: Abraham.Mhaidli@mpi-sp.org

Main Focus: Technology harms, future technologies, speculative design, scenario construction, VR, Brain Computer Interfaces, Societal harms

Research Stops: Grinnell College, University of Michigan, research intern at Meta

Ruhr University Bochum - Chair for System Security

PhD from Deakin University

E-Mail: Veelasha.Moonsamy@rub.de

Main Focus: Security and privacy of smart mobile devices, User data privacy, Security applications of machine learning

Research Stops: Melbourne, Nijmegen, Utrecht

Ruhr University Bochum - Security And Trustworthiness Of Online Information

PhD in Computer Science from Drexel University

E-Mail: rebekah.overdorf@rub.de

Main Focus: Social Media Manipulation, Privacy and Anonymity

Research Stops: PhD in Computer Science from Drexel University, Postdoc at KU Leuven, Postdoc at EPFL, Assistant Prof at University of Lausanne

Max Planck Institute for Security and Privacy; Ruhr-Universität Bochum - Chair for Embedded Security

PhD from Universität Essen

E-Mail: Christof.Paar@csp.mpg.de

Main Focus: Software algorithms for cryptographic implementations, Hardware architectures for cryptography, Physical attacks against realworld systems, Cryptanalytical hardware, Security in embedded applications, Security in mobile and ad-hoc networks

Research Stops: Essen, Massachusetts Amherst

Technische Universität Berlin & BIFOLD - Chair of Machine Learning and Security

PhD from TU Berlin

E-Mail: Rieck@tu-berlin.de

Main Focus: Computer security and machine learning; methods for detecting computer attacks, analyzing malicious software and discovering vulnerabilities in software

Research Stops: Berlin, Göttingen, Braunschweig

Ruhr University Bochum - Chair for Educational Psychology, Institute of Educational Research

PhD from Universität Freiburg

E-Mail: Nikol.Rummel@rub.de

Main Focus: Cognitive, motivational and social aspects of learning

Research Stops: Wisconsin-Madison, Pittsburg (Carnegie Mellon)

Ruhr University Bochum - Security Engineering

Associated PI, Ph.D. degree from Ruhr-Universität Bochum

E-Mail: Pascal.Sasdrich@rub.de

Main Focus: Hardware Security, Secure Processor Design, Computer-Aided Security, Security-by-Design

Research Stops: Rambus Cryptography Research (San Francisco, Rotterdam)

Ruhr University Bochum - Chair for Human-Centred Security

PhD from University of Birmingham

E-Mail: Martina.Sasse@ruhr-uni-bochum.de

Main Focus: Usable security and privacy

Research Stops: London, Birmingham, Sheffield, Eindhoven

Max Planck Institute for Security and Privacy - Heinz Nixdorf Research Group for Cryptocurrencies and Smart Contracts

PhD from Technical University of Vienna

E-Mail: Clara.Schneidewind@mpi-sp.org

Main Focus: Blockchain, Formal methods for security, Applied cryptography

Research Stops: Pennsylvania, Vienna

Max Planck Institute for Security and Privacy; Radboud Universität, Nijmegen

Scientific Director of MPI-SP, PhD from Eindhoven University of Technology

E-Mail: Peter.Schwabe@mpi-sp.org

Main Focus: Cryptography, specifically the design and secure implementation of cryptographic primitives

Research Stops: Aachen, Eindhoven, Taipei, Nijmegen

Ruhr University Bochum - Chair for Network and Data Security

PhD from Justus-Liebig Universität Giessen

E-Mail: Joerg.Schwenk@rub.de

Main Focus: Cryptographic protocols (TLS, SSH, IPsec IKE, QUIC), Internet security (e.g. E-Mail, DNS) and PDF/Office security

Research Stops: Giessen, Nürnberg

Ruhr University Bochum - Automated Security Analysis

PhD from Singapore University of Technology and Design

E-Mail: flavio.toffalini@rub.de

Main Focus: automatic testing, mitigation, system security

Research Stops: Verona, Biot, Padova, Singapore, London, Lausanne, Bochum

Max Planck Institute for Security and Privacy (MPI-SP) - SPRING: Security and Privacy Engineering Lab

PhD from KU Leuven

E-Mail: carmela.troncoso@mpi-sp.org

Main Focus: Building and deploying secure and privacy-preserving systems that minimize societal harms

Research Stops: KULeuven (Belgium), Gradiant (Spain), IMDEA Software Institute (Spain), EPFL (Switzerland)

Ruhr University Bochum - Chair for Quantum Information

PhD from ETH Zürich

E-Mail: Michael.Walter@rub.de

Main Focus: Quantum Information, Algorithms, Complexity, Software; Theoretical Computer Science, Optimization; Mathematics

Research Stops: Zurich, Stanford, Amsterdam

Ruhr University Bochum - Chair for Computer Security

PhD degree in Computer Science from the University of Adelaide

E-Mail: Yuval.Yarom@rub.de

Main Focus: Microarchitectural attacks and defenses, Cryptographic engineering

Research Stops: Adelaide, Bochum

Ruhr University Bochum - Chair for Computing and Society; Research Center for Trustworthy Data Science and Security

PhD degree in Computer Science from the Max Planck Institute for Software Systems & Saarland University

E-Mail: Bilal.Zafar@rub.de

Main Focus: Responsible AI/ML, Human-centric AI/ML, Fairness, explainability, transparency & robustness

Research Stops: Bosch Center for Artificial Intelligence, Amazon Web Services

Max Planck Institute for Security and Privacy - Human-Centered Security and Privacy group

PhD in Information from the University of Michigan

E-Mail: Yixin.Zou@mpi-sp.org

Main Focus: Human-centred security and privacy, human-computer interaction, social computing, digital inequality

Research Stops: University of Michigan, University of Illinois at Urbana-Champaign, research intern at Meta, Mozilla, and NortonLifeLock