(untitled)Karthikeyan Bhargavan, Jean-Karim Zinzindohoué, Antoine Delignat-Lavaud et al.|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2017Cited by 43