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