Concurrency, security, and puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (2017)