論文2020標準モデルにおける適応的セキュリティを備えた制約付き擬似乱数関数Alex Davidson, Shuichi Katsumata, Ryo Nishimaki, Shota Yamada, Takashi Yamakawa暗号技術