Concurrency, Security, and Puzzles - Gibson-Robinson; Hopcroft, Philippa; Lazić, Ranko (Springer International Publishing, 2017)