"Towards Automated Augmentation and Instrumentation of Legacy Cryptographic ..."

Karim Eldefrawy et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics