18. mai 2023 · Post-kvantum infrastruktur
Kontrollplan for post-kvantum migrering: Invariatorientert spesifikasjon og verifikasjon
En formell engineeringanalyse av post-kvantum infrastruktur med vekt på invariatorientert spesifikasjon og verifikasjon og adversarielle operative begrensninger.