Ruhr-Uni-Bochum

Jonathan Baumann

Institution: Max Planck Institute for Security and Privacy / CASA

E-Mail: jonathan.baumann@mpi-sp.org

Adresse: Universitätsstraße 140, 44799 Bochum

Website: https://jonathan.baumann.cv/

Publikationen:

FSLH: Flexible Mechanized Speculative Load Hardening Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking

Zurück zur Übersicht