CSI-RAShi: Distributed key generation for CSIDH. - Ward Beullens; Lucas Disson; Robi Pedersen; Frederik Vercauteren (IACR Cryptol. ePrint Arch., 2020)