飯野静流, 李陽, 崎山一男, 宮原大輝, “上下カードプロトコルの枚数下界に関する一考察,” 情報セキュリティ研究会(ISEC), ISEC2025-68, pp.340–347 (Jul., 2025).