Christian Colombo, Mark Vella. Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 765-774, SCITEPRESS, 2020. [doi]
@inproceedings{ColomboV20,
title = {Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification},
author = {Christian Colombo and Mark Vella},
year = {2020},
doi = {10.5220/0008851507650774},
url = {https://doi.org/10.5220/0008851507650774},
researchr = {https://researchr.org/publication/ColomboV20},
cites = {0},
citedby = {0},
pages = {765-774},
booktitle = {Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020},
editor = {Steven Furnell and Paolo Mori and Edgar R. Weippl and Olivier Camp},
publisher = {SCITEPRESS},
isbn = {978-989-758-399-5},
}