About: Transformation of cryptographic primitives: provable security and proof presentation

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Transformation of cryptographic primitives: provable security and proof presentation Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:Thesis, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/EPrint http://eprints.org/ontology/ThesisEPrint Article Thesis
seeAlso	HTML Summary of #78724 Transformation of cryptographic primitives: provable security and proof presentation
http://www.loc.gov...erms/relators/THS	Eerke Boiten Simon Thompson
http://eprints.org/ontology/hasDocument	Transformation of cryptographic primitives: provable security and proof presentation (PDF) Transformation of cryptographic primitives: provable security and proof presentation (Other) Transformation of cryptographic primitives: provable security and proof presentation (Other) Transformation of cryptographic primitives: provable security and proof presentation (Other) Transformation of cryptographic primitives: provable security and proof presentation (Other) Transformation of cryptographic primitives: provable security and proof presentation (Other)
dcterms:issuer	University of Kent, School of Computing, University of Kent,
Title	Transformation of cryptographic primitives: provable security and proof presentation
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2019-11
Creator	Jaime Gaspar
status	published
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.
Is Part Of	https://kar.kent.ac.uk/id/repository
list of authors	https://kar.kent.ac.uk/id/eprint/78724#authors
degree	PhD degree
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #78724 Transformation of cryptographic primitives: provable security and proof presentation

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software