We Gratefully Acknowledge Support by the Sponsors of ETAPS 2021:

SnT - Interdisciplinary Centre for Security, Reliability and Trust

LACS - Laboratory of Algorithmics, Cryptology and Security

Luxembourg National Research Fund