Philippa Hopcroft

• Concurrency, Security, and Puzzles