mpi-softsec.github.io - Böhme Research Group: Home

Example domain paragraphs

This is the MPI Software Security group lead by Dr Marcel Böhme at the Max Planck Institute for Security and Privacy (MPI-SP) in Germany. We are interested in the automatic discovery of security flaws in software systems at the very large scale. Some of us work on the foundations of automatic vulnerability discovery and program analysis in general. For instance, we seek to identify fundamental limitations of existing techniques, we study empirical methods (incl. statistical and causal reasoning) for program

We are always looking to recruit 👩‍🎓 PhD students and 👩‍💻 interns in Software Security. Just reach out via email. You'll need a strong background in one of: * Statistics, data science, ML (causality, security flaws), and/or * Program analysis, system building, vulnerability discovery, CTFs.

This project has a sweet logo!

Links to mpi-softsec.github.io (2)

nimgnoeseel.github.io Seongmin Lee
haoxintu.github.io About Me - Haoxin Tu’s Homepage