Roberto Blanco
Institution: Max Planck Institute for Security and Privacy / CASA
Research Hub(s):
Hub B: Eingebettete Sicherheit
E-Mail: roberto.blanco@mpi-sp.org
Publikationen:
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Kintsugi: Secure Hotpatching for Code-Shadowing Real-Time Embedded Systems Short Paper: Mechanized Proofs of Masking Security SECOMP: Formally Secure Compilation of Compartmentalized C Programs FSLH: Flexible Mechanized Speculative Load Hardening Formalizing Stack Safety as a Security Property
