Skip to main content

Transformation of cryptographic primitives: provable security and proof presentation

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

PDF
Language: English
Download (1MB) Preview
[thumbnail of 58Transformation of cryptographic primitives - provable security and proof prese.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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
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: https://kar.kent.ac.uk/id/eprint/78724 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year