Tobias Worm Bøgedal
According to our database1,
Tobias Worm Bøgedal
authored at least 3 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Bridging the Gap Between AI and Reality, 2024
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2021
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code.
Proceedings of the Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, 2021