Engineering-blogg
Artikler publiseres for programteam, teknisk ledelse og arkitekturgrupper som krever rigor innen kryptografi, distribuerte systemer og adversariell resiliens.
Arkiv
50 artikler funnet. Viser 25-36.
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.
23. des. 2023 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.
11. nov. 2023 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på latenstid-tilgjengelighet avveininger under adversariell last og adversarielle operative begrensninger.
25. okt. 2023 · Sikre IIoT-systemer
En formell engineeringanalyse av sikre IIoT-systemer med vekt på feilinneslutning og grenser for blast radius og adversarielle operative begrensninger.
13. sep. 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på hendelsesrekonstituering under delvis feil og adversarielle operative begrensninger.
27. aug. 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på revisjonsspor og verifiserbare operasjoner og adversarielle operative begrensninger.
16. juli 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på migreringssekvensering for systemer med høy assurance og adversarielle operative begrensninger.
04. juni 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på forutsetninger for bysantinsk kompromittering og gjenopprettingsbaner 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.
06. apr. 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på latenstid-tilgjengelighet avveininger under adversariell last og adversarielle operative begrensninger.
21. mars 2023 · Post-kvantum infrastruktur
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på feilinneslutning og grenser for blast radius og adversarielle operative begrensninger.