paper-conference

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