Use this URL to cite or link to this record in EThOS:
Title: Transformation of cryptographic primitives : provable security and proof presentation
Author: Gaspar, Jaime
ISNI:       0000 0004 8504 9056
Awarding Body: University of Kent
Current Institution: University of Kent
Date of Award: 2019
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Thompson, Simon ; Boiten, Eerke Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available