Edinburgh’s computer scientists banned from using ‘Alice and Bob’ a...