loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Authors: Christian Colombo and Mark Vella

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

ISBN: 978-989-758-399-5

ISSN: 2184-4356

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 18.204.48.69

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, 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.
0123movie.net