Jonas Haglund

According to our database¹, Jonas Haglund authored at least 4 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Formal Verification of Peripheral Memory Isolation.

[BibT_eX]

[DOI]

PhD thesis, 2023

2022

Formally Verified Isolation of DMA.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

Trustworthy isolation of DMA devices.

[BibT_eX]

[DOI]

J. Bank. Financial Technol., 2020

2019

Trustworthy Isolation of DMA Enabled Devices.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 15th International Conference, 2019