Ruhr-Uni-Bochum

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

Website: https://www.mpi-sp.org/person/106003/10073

Publikationen:

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Formalizing Stack Safety as a Security Property

Zurück zur Übersicht