Is Eve Nearby? Analysing Protocols under the Distant-Attacker Assumption

Publication
IEEE Computer Security Foundations Symposium, August 7-10, 2022, Haifa, Israel