Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification

Christian Colombo, Mark Vella

2020

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.

Download


Paper Citation


in Harvard Style

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 - Volume 1: ForSE, ISBN 978-989-758-399-5, pages 765-774. DOI: 10.5220/0008851507650774


in Bibtex Style

@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 - Volume 1: ForSE,},
year={2020},
pages={765-774},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008851507650774},
isbn={978-989-758-399-5},
}


in EndNote Style

TY - CONF

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