Deutsch
About Us
About us
Faculty & RGLs
Postdocs
Phd Students
Research Engineers
Service & Administration
List of Employees
Contact and Arrival
Groups
Groups
Embedded Security
Formally Verified Security
Foundations of Security and Privacy
HN-RG for Cryptocurrencies and Smart Contracts
Human Factors in Security and Privacy
Responsible Computing
NEWSROOM
Career
Career
Tenure-Track Openings
Reserach Group Leaders
Internships at CS MPIs
CS@max planck PhD
Guest Program
Further Job Offers
Deutsch
Max Planck Institute for Security and Privacy
Home
Roberto Blanco
Roberto Blanco
Formally Verified Security
roberto.blanco@...
Navigation
Go to Editor View
