Engineering-blogg
Artikler publiseres for programteam, teknisk ledelse og arkitekturgrupper som krever rigor innen kryptografi, distribuerte systemer og adversariell resiliens.
Arkiv
7 artikler funnet. Viser 1-7.
11. sep. 2025 · Sikkerhetsarkitektur
En formell engineeringanalyse av sikkerhetsarkitektur med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
06. feb. 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
27. juli 2024 · Misjonskritisk DevSecOps
En formell engineeringanalyse av misjonskritisk DevSecOps med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
23. des. 2023 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
18. mai 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
13. okt. 2022 · Distribuerte systemer
En formell engineeringanalyse av distribuerte systemer med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
09. mars 2022 · Fintech-kryptografi
En formell engineeringanalyse av fintech-kryptografi med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.