"Mario Larangeira","Programmable and non-programmable models in security proofs",,,,,,,2013,Mar. "KEISUKE TANAKA,Mario Larangeira","Programmability in the Generic Ring and Group Models",,"Journal of Internet Services and Information Security",,"Vol. 1","No. 2/3","pp. 57-73",2011,Aug. "KEISUKE TANAKA,Mario Larangeira,Akira Numayama","A Random Oracle Model with Setting and Watching Queries","2009年 暗号と情報セキュリティシンポジウム","2009年 暗号と情報セキュリティシンポジウム",,,,"pp. 3D1-4",2009,Jan. "田中圭介,ラランジエラマリオ","ペアリングを用いた署名方式と Strong Diffie-Hellman 問題の関係","2008年暗号と情報セキュリティシンポジウム","2008年 暗号と情報セキュリティシンポジウム",,,,"pp. 3F2-1",2008,Jan.