EvalRound+ Bootstrapping and its Rigorous Analysis for CKKS Scheme. - Hyewon Sung; Sieun Seo; Taekyung Kim; Chohong Min (IACR Cryptol. ePrint Arch., 2024)