飯野静流, 李陽, 崎山一男, 宮原大輝, “上下カードプロトコルにおけるカード枚数の上界と下界,” コンピュータセキュリティシンポジウム(CSS’25), To Appear (Oct., 2025).