Browsing Institutt for matematiske fag by Author "Engan, Sunniva"
Now showing items 1-1 of 1
-
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 ...