Ruhr-Uni-Bochum

Jonathan Baumann

Institution: Max Planck Institute for Security and Privacy / CASA

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

Adress: Universitätsstraße 140, 44799 Bochum

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

Publications:

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

Back to overview