@article{CTT100748966,
  author = {KEISUKE TANAKA and Mario Larangeira},
  title = {Programmability in the Generic Ring and Group Models},
  journal = {Journal of Internet Services and Information Security},
  year = 2011,
}

@inproceedings{CTT100572408,
  author = {KEISUKE TANAKA and Mario Larangeira and Akira Numayama},
  title = {A Random Oracle Model with Setting and Watching Queries},
  booktitle = {2009年 暗号と情報セキュリティシンポジウム},
  year = 2009,
}

@inproceedings{CTT100575592,
  author = {田中圭介 and ラランジエラマリオ},
  title = {ペアリングを用いた署名方式と Strong Diffie-Hellman 問題の関係},
  booktitle = {2008年 暗号と情報セキュリティシンポジウム},
  year = 2008,
}

@misc{CTT100725828,
  author = {Mario Larangeira},
  title = {Programmable and non-programmable models in security proofs},
  year = 2013,
}



@phdthesis{CTT100725828,
  author = {Mario Larangeira},
  title = {Programmable and non-programmable models in security proofs},
  school = {東京工業大学},
  year = 2013,
}