Skip to main content

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)

Language: English
Download (1MB) Preview


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: Faculties > Sciences > School of Computing
SWORD Depositor: System Moodle
Depositing User: System Moodle
Date Deposited: 14 Nov 2019 16:10 UTC
Last Modified: 23 Jan 2020 04:17 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year