Indlæser...
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Henvisninger pr. år
Dublerede henvisninger
Følgende artikler er flettet i Scholar. Deres
samlede henvisninger
tæller kun for den første artikel.
Flettede henvisninger
Antallet under "Citeret af" inkluderer henvisninger fra følgende artikler i Scholar. Dem, der er markeret med
*
, kan afvige fra artiklen i profilen.
Tilføj medforfattere
Medforfattere
Følg
Nye artikler af denne forfatter
Nye henvisninger til denne forfatter
Nye artikler relateret til denne forfatters videnskabelige undersøgelser
Mailadresse til opdateringer
Udfør
Min profil
Min samling
Metrics
Underretninger
Indstillinger
Log ind
Log ind
Få min egen profil
Citeret af
Alle
Siden 2019
Henvisninger
2
2
h-index
1
1
i10-indeks
0
0
Følg
Anton Christensen
PhD student at
Aalborg University
Verificeret mail på cs.aau.dk
software security
formal methods
embedded systems
Artikler
Citeret af
Titel
Sortér
Sortér efter henvisninger
Sortér efter årstal
Sortér efter titel
Citeret af
Citeret af
År
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
BH Møller, JG Søndergaard, KS Jensen, MW Pedersen, TW Bøgedal, ...
Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event …
, 2021
2
2021
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Vis flere
Privatliv
Vilkår
Hjælp
Om Scholar
Søg i Hjælp
