About Us
About us
Research Areas
Management
Contact and Arrival
More CS @ Max Planck
People
Faculty & RGLs
Postdocs
PhD Students
Interns
Research Engineers
Service & Administration
List of all Employees
NEWSROOM
Career
Career
Why join us?
Welcome Center
Family Office
Equal Opportunities
Tenure-Track Openings
Internships at CS MPIs
Postdoc & PhD Positions
Guest Program
Further Job Offers
Max Planck Institute for Security and Privacy
Home
People
List of all Employees
Basile Schlosser
Basile Schlosser
Formally Verified Security
Go to Editor View