Fredrik Orava

• On the formal analysis of telecommunication protocols