Thomas Rosted Jensen

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Mutual Authentication

Security Analysis

Elliptic Curve Cryptography

Top Venues

Publications

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
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec (2021)