Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/90839
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Abela, Robert | - |
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Malo, Peter | - |
dc.contributor.author | Sýs, Peter | - |
dc.contributor.author | Fabšič, Tomáš | - |
dc.contributor.author | Gallo, Ondrej | - |
dc.contributor.author | Hromada, Viliam | - |
dc.contributor.author | Vella, Mark Joseph | - |
dc.date.accessioned | 2022-03-08T16:50:47Z | - |
dc.date.available | 2022-03-08T16:50:47Z | - |
dc.date.issued | 2021 | - |
dc.identifier.citation | Abela, R., Colombo, C., Malo, P., Sýs, P., Fabšič, T, Gallo, O., Hromada, V., & Vella, M. (2021). Secure implementation of a quantum-future GAKE protocol. In R. Roman & J. Zhou (Eds.), Security and trust management : international workshop on security and trust management (pp. 103-121). Cham: Springer. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/90839 | - |
dc.description.abstract | Incorrect cryptographic protocol implementation and malware attacks targeting its runtime may lead to insecure execution even if the protocol design has been proven safe. This research focuses on adapting a runtime-verification-centric trusted execution environment (RVTEE) solution to a quantum-future cryptographic protocol deployment. We aim to show that our approach is practical through an instantiation of a trusted execution environment supported by runtime verification and any hardware security module compatible with commodity hardware. In particular, we provide: (i) A group chat application case study which uses the quantum-future group key establishment protocol from Gonzalez Vasco et al., (ii) An implementation of the protocol from Gonzalez Vasco et al. employing a resource-constrained hardware security module, (iii) The runtime verification setup tailored for the protocol’s properties, (iv) An empirical evaluation of the setup focusing on the user experience of the chat application. | en_GB |
dc.description.sponsorship | This work is supported by the NATO Science for Peace and Security Programme through project G5448 Secure Communication in the Quantum Era. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Cryptography | en_GB |
dc.subject | Software engineering | en_GB |
dc.subject | Computer science | en_GB |
dc.subject | Computer systems -- Verification | en_GB |
dc.title | Secure implementation of a quantum-future GAKE protocol | en_GB |
dc.title.alternative | Security and trust management : international workshop on security and trust management | en_GB |
dc.type | bookPart | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-030-91859-0_6 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Secure_implementation_of_a_quantum-future_GAKE_protocol_2021.pdf Restricted Access | 912.09 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.