Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. - Bjarke Hilmer Møller; Jacob Gosch Søndergaard; Kristoffer Skagbæk Jensen; Magnus Winkel Pedersen; Tobias Worm Bøgedal; Anton Christensen; Danny Bøgsted Poulsen; Kim Guldstrand Larsen; René Rydhof Hansen; Thomas Rosted Jensen; Heino Juvoll Madsen; Henrik Uhrenfeldt (NordSec, 2021)

Modelling and Analysis of DTLS: Power Consumption and Attacks. - Lise Bech Gehlert; Malthe Peter Højen Jørgensen; Christoffer Brejnholm Koch; Tobias Møller; Signe Kirstine Rusbjerg; Tobias Worm Bøgedal; Danny Bøgsted Poulsen; René Rydhof Hansen; Daniel Lux (FMICS, 2024)

Statistical Analysis of the Impact of Bit-Flips in Security Critical Code. - Tobias Worm Bøgedal; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (AISoLA, 2024)