Published on 01/06/2021 Sean Murphy, Rachel Player Mathematical Cryptology WP4 Building blocks for practical advanced protocols