On the Relationship between FuncCPA and FuncCPA+. - Takumi Shinozaki; Keisuke Tanaka; Masayuki Tezuka; Yusuke Yoshida (IACR Cryptol. ePrint Arch., 2024)