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