loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Christian Colombo and Mark Vella

Affiliation: Department of Computer Science, University of Malta, Malta

Keyword(s): Cryptographic Protocols, Runtime Verification, Trusted Execution Environment, Binary Instrumentation.

Abstract: Analytical security of cryptographic protocols does not immediately translate to operational security due to incorrect implementation and attacks targeting the execution environment. Code verification and hardware-based trusted execution solutions exist, however these leave it up to the implementer to assemble the complete solution, and imposing a complete re-think of the hardware platforms and software development process. We rather aim for a comprehensive solution for secure cryptographic protocol execution, based on runtime verification and stock hardware security modules that can be deployed on existing platforms and protocol implementations. A study using a popular web browser shows promising results with respect to practicality.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.149.253.73

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Colombo, C. and Vella, M. (2020). Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. In Proceedings of the 6th International Conference on Information Systems Security and Privacy - ForSE; ISBN 978-989-758-399-5; ISSN 2184-4356, SciTePress, pages 765-774. DOI: 10.5220/0008851507650774

@conference{forse20,
author={Christian Colombo. and Mark Vella.},
title={Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification},
booktitle={Proceedings of the 6th International Conference on Information Systems Security and Privacy - ForSE},
year={2020},
pages={765-774},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008851507650774},
isbn={978-989-758-399-5},
issn={2184-4356},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Information Systems Security and Privacy - ForSE
TI - Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification
SN - 978-989-758-399-5
IS - 2184-4356
AU - Colombo, C.
AU - Vella, M.
PY - 2020
SP - 765
EP - 774
DO - 10.5220/0008851507650774
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic