Skip to main content
Kent Academic Repository

Transformation of cryptographic primitives: provable security and proof presentation

Gaspar, Jaime (2019) Transformation of cryptographic primitives: provable security and proof presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:78724)

PDF
Language: English
Download this file
(PDF/1MB)
[thumbnail of 58Transformation of cryptographic primitives - provable security and proof prese.pdf]
Preview

Abstract

We analyse transformations between cryptographic primitives and, for each transformation, we do two studies: its provable security (proving that if the original cryptographic primitive is secure, then the transformed cryptographic primitive is also secure); its proof presentation (exploring improved ways of presenting the proof). Our contributions divide into two sets: security proofs (sometimes new proofs and sometimes variants of known proofs); proof presentations (inspired by our security proofs) and extraction of lessons learned from them.

Item Type: Thesis (Doctor of Philosophy (PhD))
Thesis advisor: Thompson, Simon
Thesis advisor: Boiten, Eerke
Uncontrolled keywords: cryptography provable security proof presentation primitive transformation
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders: Organisations -1 not found.
SWORD Depositor: System Moodle
Depositing User: System Moodle
Date Deposited: 14 Nov 2019 16:10 UTC
Last Modified: 16 Dec 2022 03:29 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/78724 (The current URI for this page, for reference purposes)

University of Kent Author Information

Gaspar, Jaime.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.