Engineering-blogg
Artikler publiseres for programteam, teknisk ledelse og arkitekturgrupper som krever rigor innen kryptografi, distribuerte systemer og adversariell resiliens.
Arkiv
15 artikler funnet. Viser 1-12.
17. feb. 2026 · Fintech-kryptografi
En teknisk analyse av distribuerte custody-systemer med terskelkryptografi, bysantinske adversarmodeller og signeringsprotokoller som er crash-sikre.
27. juni 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på hendelsesrekonstituering under delvis feil og adversarielle operative begrensninger.
16. mai 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på revisjonsspor og verifiserbare operasjoner og adversarielle operative begrensninger.
04. apr. 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på migreringssekvensering for systemer med høy assurance og adversarielle operative begrensninger.
18. mars 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på forutsetninger for bysantinsk kompromittering og gjenopprettingsbaner og adversarielle operative begrensninger.
06. feb. 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
21. jan. 2025 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på latenstid-tilgjengelighet avveininger under adversariell last og adversarielle operative begrensninger.
09. des. 2024 · Resiliensengineering
En formell engineeringanalyse av resiliensengineering med vekt på feilinneslutning og grenser for blast radius og adversarielle operative begrensninger.
18. apr. 2024 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på hendelsesrekonstituering under delvis feil og adversarielle operative begrensninger.
06. mars 2024 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på revisjonsspor og verifiserbare operasjoner og adversarielle operative begrensninger.
21. feb. 2024 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på migreringssekvensering for systemer med høy assurance og adversarielle operative begrensninger.
09. jan. 2024 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på forutsetninger for bysantinsk kompromittering og gjenopprettingsbaner og adversarielle operative begrensninger.