Mathematical modelling for next-generation cryptography CREST Crypto-Math Project - Takagi, Tsuyoshi (Springer Nature Singapore, 2018)