Concurrency, Security, and Puzzles - Gibson-Robinson, Thomas (Springer International Publishing, 2020)