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
[thumbnail of 58Transformation of cryptographic primitives - provable security and proof prese.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format


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: [UNSPECIFIED] Research Postgraduate Scholarship from the Engineering and Physical Sciences Research Council / School of Computing, University of Kent
SWORD Depositor: System Moodle
Depositing User: System Moodle
Date Deposited: 14 Nov 2019 16:10 UTC
Last Modified: 16 Feb 2021 14:09 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year