Browsing katedra počítačových systémů by Subject "E-ACSL"

Now showing items 1-1 of 1

    • Ověřitelnost implementace algoritmu RSA 

      Author: Jakub Tetera; Supervisor: Knop Dušan; Opponent: Smítka Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-17)
      Tato práce se zabývá zjišťováním možností formální deduktivní verifikace šifrovacího algoritmu RSA. Teoretická část čtenáře uvede do problematiky formální deduktivní verifikace, představí její základní koncepty a nastíní ...