Login / Signup
Jonas Haglund
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Domain Knowledge
Handheld Devices
Real World
Main Memory
Top Venues
ICISS
J. Bank. Financial Technol.
FMCAD
</>
Publications
</>
Jonas Haglund
,
Roberto Guanciale
Formally Verified Isolation of DMA.
FMCAD
(2022)
Jonas Haglund
,
Roberto Guanciale
Trustworthy isolation of DMA devices.
J. Bank. Financial Technol.
4 (1) (2020)
Jonas Haglund
,
Roberto Guanciale
Trustworthy Isolation of DMA Enabled Devices.
ICISS
(2019)