Blar i Institutt for matematiske fag på forfatter "Engan, Sunniva"
-
Provable Security of Authenticated Encryption Schemes
Engan, Sunniva (Bachelor thesis, 2022)Denne bacheloroppgaven ser på den bevisbare sikkerheten til randomized counter mode (RCM) og Galois counter mode (GCM). Dette gjøres ved å bruke sekvenser av spill for å strukturere bevisene. Vi vil bevise at randomized ...