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

Christian Colombo, Mark Vella

Browse the full ICISSP paper archive.