Conference proceedings articles

  • Masayuki Abe, Masaya Nanri, Octavio Perez Kempner, Mehdi Tibouchi, "Interactive Threshold Mercurial Signatures and Applications", ASIACRYPT 2024. [ePrint]
  • Masayuki Abe, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen, Zehua Shang, Mehdi Tibouchi, "CDS Composition of Multi-Round Protocols", CRYPTO 2024.
  • Xiuhan Lin, Moeto Suzuki, Shiduo Zhang, Thomas Espitau, Yang Yu, Mehdi Tibouchi, Masayuki Abe, "Cryptanalysis of the Peregrine Lattice-Based Signature Scheme", PKC 2024. [ePrint]
  • Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe "On Black-Box Extension of a Non-Interactive Zero-Knowledge Proof System for Secret Equality", INDOCRYPT 2020: 882-904
  • Sun Chao, Mehdi Tibouchi and Masayuki Abe "Revisiting the Hardness of Binary Error LWE", ACISP2020.
  • Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe "A Coin-Free Oracle-Based Augmented Black Box Framework", ProvSec2019. [ePrint]
  • Junichi Tomida, Masayuki Abe, and Tatsuaki Okamoto "Efficient Functional Encryption for Inner-Product Values with Full-Hiding Security", ISC2016. [Springer]
  • Ryo Hiromasa, Masayuki Abe, and Tatsuaki Okamoto "Packing Messages and Optimizing Bootstrapping in GSW-FHE", PKC2015. [pdf]
  • Masayuki Abe, Jens Groth, Miyako Ohkubo, and Takeya Tango "Converting Cryptographic Schemes from Symmetric to Asymmetric Bilinear Groups", CRYPTO2014. [Springer]
  • Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto "Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol", TCC 2014. [Springer]
  • Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto "Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security", IWSEC2012, LNCS Vol 7631, pp.216-232 (Nov. 2012) [pdf] [Best Student Paper Award]
  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto "A Secure M+1st Price Auction Protocol based on Bit Slice Circuits", IWSEC2011,LNCS Vol. 7038, pp.51-64 (Nov. 2011). [pdf]
  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto "Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption", IWSEC2010, LNCS Vol. 6434, pp.149-163 (Nov. 2010). [pdf]
  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto "Instability of A Punishment Strategy in Correlated Equilibria", Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems, AlgoGT 2010, (July 2010). [pdf]
  • Reo Yoshida and Katsuyuki Takashima, "Simple Algorithms for Computing a Sequence of 2-Isogenies", ICISC 2008, LNCS, Vol.5461, pp.52-65, Springer Verlag, 2009. [Springer]
  • Norio Akagi, Yoshifumi Manabe, and Tatsuaki Okamoto, "An Efficient Anonymous Credential System", FC 2008, LNCS, Vol.5143, pp.272-286, Springer Verlag, 2008. [Springer]
  • Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto, "Relation of Three Cryptographic Channels in the UC Framework", ProvSec 2008, LNCS, Vol.5324, pp.268-282, Springer Verlag, 2008. [Springer]
  • Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto, "Universally Composable Identity-Based Encryption", VietCrypt 2006, Hanoi, Vietnam, 2006 LNCS vol. 4341, pp.337-353, Springer Verlag, 2006. [Springer]
  • Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto, "A Universally Composable Secure Channel Based on the KEM-DEM Framework", TCC 2005, Massachusetts, USA, 2005 LNCS vol. 3378, pp.426-444, Springer Verlag, 2005. [Springer]
  • Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto, "On the Security of Hybrid Public-Key Encryption", CITSA 2004, Florida, USA, 2004.

Journal articles

  • Quan Yuan, Mehdi Tibouchi, Masayuki Abe, "On subset-resilient hash function families". Designs, Codes and Cryptography. 90, pages 719-758 (2022)
  • Quan Yuan, Mehdi Tibouchi, Masayuki Abe, "Security Notions for Stateful Signature Schemes". IET Information Security. Volume 16, Issue 1. pp. 1-17. Jan 2022. link
  • Chao Sun, Thomas Espitau, Mehdi Tibouchi, and Masayuki Abe, "Guessing Bits: Improved Lattice Attacks on (EC)DSA with Nonce Leakage", IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Volume 2022, Issue 1. [ePrint]
  • Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe, "On The Impossibility of NIZKs for Disjunctive Languages from Commit-and-Prove NIZKs," IEEE Access, 2021. ieeeexplore
  • Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe, "A Coin-Free Oracle-Based Augmented Black Box Framework (Full Paper)", IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E103-A, No.10, pp.1167-1173, Oct. 2020.
  • Akira Takahashi, Mehdi Tibouchi, and Masayuki Abe, "New Bleichenbacher Records: Fault Attacks on qDSA Signatures", IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Volume 2018, Issue 3. pp.331-371. [TCHES] [ePrint]
  • Ryo Hiromasa, Masayuki Abe, and Tatsuaki Okamoto, "Packing Messages and Optimizing Bootstrapping in GSW-FHE", IEICE Transactions on Fundamentals, Vol.E99-A, No.1, pp.73-82, (Jan. 2016). [pdf (copyright2016 IEICE)] IEICE Transactions Online
  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto, "Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption", IEICE Transactions on Fundamentals, Vol.E96-A, No.1, pp.68-75, (Jan. 2013). [pdf (copyright2013 IEICE)] IEICE Transactions Online
  • Katsuyuki Takashima and Reo Yoshida, "An Algorithm for Computing a Sequence of Richelot Isogenies", Bulletin of the Korean Mathematical Society, Vol.46, No.4, pp.780-802, (July 2009). [KMS online]
  • Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto, "On the equivalence of several security notions of KEM and DEM", IEICE Transactions on Fundamentals, Vol.E91-A, No.1, pp.283-297, (Jan. 2008). [pdf (copyright2008 IEICE)] IEICE Transactions Online
  • Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto, "Universally Composable Identity-based Encryption", IEICE Transactions on Fundamentals, Vol.E91-A, No.1, pp.262-271, (Jan. 2008). [pdf (copyright2008 IEICE)] IEICE Transactions Online
  • Yusuke Okada, Yoshifumi Manabe, and Tatsuaki Okamoto, "An optimistic fair exchange protocol and its security in the universal composability framework", International Journal of Applied Cryptography (IJACT), Vol.1, No.1, pp.70-77 (2008). [Inderscience Publishers]
  • Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto, "A Universally Composable Secure Channel Based on the KEM-DEM Framework", IEICE Transactions on Fundamentals, Vol.E89-A, No.1, pp.28-38, January 2006. [pdf (copyright2006 IEICE)] IEICE Transactions Online

Talks

■2024年

  • Zehua Shang, Miyako Ohkubo, Mehdi Tibouchi, Masayuki Abe. "Expanding Challenge Space on Composing Generalized Sigma-Protocols", SCIS 2024.
  • Moeto Suzuki, Mehdi Tibouchi, Masayuki Abe. "Peregrine格子ベース署名方式に対する暗号解析の改良", SCIS 2024.
  • Yuzo Kataoka, Mehdi Tibouchi, Masayuki Abe. "MLWEとMSIS仮定ベースのTwo-round n-out-of-n署名プロトコルの実装", SCIS 2024.
  • Masaya Nanri, Octavio Kempner, Mehdi Tibouchi, Masayuki Abe. "分散Mercurial署名による複数権限者でのUnlinkability", SCIS 2024.
  • Haoliang Tang, Mehdi Tibouchi, Masayuki Abe. "Fair Exchange with Smart Contract Revisited: Combine ZKCP and FairSwap", SCIS 2024.

■2023年

  • Moeto Suzuki, Xiuhan Lin, Shiduo Zhang, Thomas Espitau, Yang Yu, Mehdi Tibouchi, Masayuki Abe. "Peregrine格子ベース署名方式に対する統計学的秘密鍵復元攻撃の提案", IEICE ISEC July 2023. [情報セキュリティ研究奨励賞]
  • Chao Sun, Thomas Espitau, Mehdi Tibouchi, Masayuki Abe. "Generating Falcon Trapdoors via Gibbs Sampler", SCIS 2023.
  • Zehua Shang, Miyako Ohkubo, Mehdi Tibouchi, Masayuki Abe. "Non-Interactive Proof of Knowledge from Fiat-Shamir and Correlation Intractable Hash", SCIS 2023.
  • 荒川幸寛, 奥田哲矢, 齋藤恆和, ティブシメディ, 阿部正幸. "通貨選択アルゴリズムを最適化したトークン型電子現金方式のCBDCへの適用可能性検討", SCIS 2023.
  • Zhang Huan, Miguel Ambrona, Mehdi Tibouchi, Masayuki Abe. "Optimistic Signed Exchange Revisited", SCIS 2023.
  • Zhiyu Peng, Miyako Ohkubo, Mehdi Tibouchi, Masayuki Abe. "Composition of Zero-knowledge Proof Protocols from MPC-in-the-Head with Pre-processing", SCIS 2023.
  • Moeto Suzuki, Mehdi Tibouchi, Masayuki Abe. "Cryptanalysis of the randomized version of DRS scheme", SCIS 2023.

■2022年

  • Quan YUAN, Mehdi Tibouchi, Masayuki Abe. "Quantum-Accessible Security of Stateless Hash-based Signature Schemes", SCIS 2022.
  • Chao Sun, Thomas Espitau, Mehdi Tibouchi, Masayuki Abe. "Optimal Lattice Trapdoor for the Klein-GPV and Peikert Sampler", SCIS 2022.
  • Zehua Shang, Mehdi Tibouchi, Masayuki Abe. "A Study of Non-malleability Definitions on Timed Commitments", SCIS 2022.
  • Yukihiro ARAKAWA, Tetsuya OKUDA, Tunekazu SAITO, Mehdi TIBOUCHI, Masayuki ABE. "トークン型電子現金方式のCentral Bank Digital Currency(CBDC) への適用可能性に関する初期検討", SCIS 2022.
  • Huan Zhang, Mehdi Tibouchi, Miguel Ambrona, Masayuki Abe. "Comparison of transaction cost on different fair exchange protocols", SCIS 2022.

■2021年

  • Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe. "コミットアンドプルーブ非対話ゼロ知識証明を用いたブラックボックス構成に関する考察", SCIS 2021.
  • Quan YUAN, Mehdi Tibouchi, Masayuki Abe. "Security Notions of Stateful Signature Schemes", SCIS 2021.
  • Zehua Shang, Mehdi Tibouchi, Masayuki Abe. "Variants of Time-lock Puzzles from Randomized Encodings", SCIS 2021.
  • Sun Chao, Mehdi Tibouchi, Masayuki Abe. "Towards Improving Lattice Attacks on (EC)DSA", SCIS 2021.

■2020年

  • Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe. "二つの暗号文の等価性証明をブラックボックス方式で行うことに関する考察", SCIS 2020.
  • Hideki Kano, Mehdi Tibouchi, Masayuki Abe. "プライバシ保護深層学習のためのSGX分散処理の提案", SCIS 2020.
  • Sun Chao, Mehdi Tibouchi, Masayuki Abe. "On the hardness of LWE with Non-Uniform Binary-Error", SCIS 2020.

■2019年

  • Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe. "On Augmented Black-Box Construction Based on an Oracle Without Witness Indistinguishability", IWSEC 2019 (invited talk).
  • Takashi Hori, Mehdi Tibouchi, Masayuki Abe. "標準モデルにおけるRLWEに基づく鍵カプセル化メカニズム", SCIS 2019.
  • Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe. "証拠識別不可能性を持たないオラクルに基づく拡張ブラックボックス構成に関する考察", SCIS 2019. [SCIS論文賞]
  • Hideki Kano, Mehdi Tibouchi, Masayuki Abe. "Intel SGXを用いた関数型タイムリリース暗号", SCIS 2019.
  • Sun Chao, Mehdi Tibouchi, Masayuki Abe. "Sample-Time Trade-off for the Arora-Ge Attack on Binary-Error LWE", SCIS 2019.

■2018年

  • Akira Takahashi, Mehdi Tibouchi, and Masayuki Abe. "Application of the Singular Curve Point Decompression Attack to the Bitcoin Curve", IEICE ISEC July 2018. [IEICE]
  • Akira Takahashi, Mehdi Tibouchi, Masayuki Abe, and Tatsuaki Okamoto. "Curve25519のKummer商上署名方式qDSAに対するフォールト攻撃", SCIS 2018.

■2017年

  • Akira Takahashi, Mehdi Tibouchi, Masayuki Abe, and Tatsuaki Okamoto. "ノンスに偏りのあるSchnorr型署名に対するBleichenbacher攻撃の最適化", IEICE ISEC Dec. 2017. [IEICE]
  • Junichi Tomida, Masayuki Abe, and Tatsuaki Okamoto. "より弱い仮定に基づく効率的な完全秘匿性を持つ内積値暗号", SCIS 2017.

■2016年

  • Junichiro Kume, Masayuki Abe, and Tatsuaki Okamoto. "New Cryptocurrency Protocol without Proof of Work", SCIS 2016. [pdf]
  • Tatsuya Kyogoku, Masayuki Abe, and Tatsuaki Okamoto. "A Note on Authenticated Key Exchange in Cryptocurrency", SCIS 2016. [pdf]
  • Junichi Tomida, Masayuki Abe, and Tatsuaki Okamoto. "Adaptively Secure Functional Encryption for Inner-Product Values", SCIS 2016. [pdf]

■2015年

  • Ryo Hiromasa, Masayuki Abe, and Tatsuaki Okamoto. "SIMD Operations in GSW-FHE", SCIS 2015. [pdf]
  • Takehiro Mimasu, Masayuki Abe, and Tatsuaki Okamoto. "A Secure Signature Scheme with Tight Reduction to the RSA Assumption from Indistinguishability Obfuscation", SCIS 2015. [pdf]
  • Takeya Tango, Masayuki Abe, and Tatsuaki Okamoto. "暗号方式のペアリング群タイプの変換可能性に対する多項式時間判定アルゴリズムの提案", SCIS 2015. [pdf]
  • Junichiro Kume, Masayuki Abe, and Tatsuaki Okamoto. "Lottery Protocol for Cryptocurrency", SCIS 2015. [pdf]
  • Tatsuya Kyogoku, Minseon Lee, Masayuki Abe, and Tatsuaki Okamoto. "Threshold Two-Move Password Authenticated Key Exchange Protocol", SCIS 2015. [pdf]

■2014年

  • Ryo Hiromasa, Masayuki Abe, and Tatsuaki Okamoto. "Multilinear Maps on LWE", SCIS 2014. [pdf]
  • Tadatoshi Tanimura, Masayuki Abe, and Tatsuaki Okamoto. "Proxy Signatures for General Access Structures", SCIS 2014. [pdf]
  • Takeya Tango, Masayuki Abe, and Tatsuaki Okamoto. "Implementation of Automated Translation for Schemes on Symmetric Bilinear Groups", SCIS 2014. [pdf]
  • Takehiro Mimasu, Masayuki Abe, and Tatsuaki Okamoto. "Non-Interactive First-Price and Second-Price Auction Using Fully Homomorphic Encryption", SCIS 2014. [pdf]

■2013年

  • Ryo Hiromasa, Yoshifumi Manabe, and Tatsuaki Okamoto. "Homomorphic Signatures for Polynomial Functions with Shorter Signatures", SCIS 2013. [pdf]
  • Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto. "On the Round-Complexity Lower Bound of CCA-Secure Commitments", SCIS 2013. [pdf]

■2012年

  • Hermanto, Yoshifumi Manabe, and Tatsuaki Okamoto. "A Private Matching Algorithm Using Predicate Encryption", SCIS 2012. [pdf]
  • Ryo Hiromasa, Yoshifumi Manabe, and Tatsuaki Okamoto. "The Distributed Decryption Schemes for Somewhat Homomorphic Encryption", SCIS 2012. [pdf]
  • Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto. "Constant-Round Concurrent Zero-Knowledge in Super-Polynomial Simulation Security", SCIS 2012. [pdf]

■2011年

  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto. "A Secure M+1st Price Auction Protocol based on Bit Slice Circuits", SCIS 2011. [pdf]
  • Ryouta Okuhata, Yoshifumi Manabe, and Tatsuaki Okamoto. "An Identity Based Encryption Scheme from Ideal Lattices", SCIS 2011. [pdf]
  • Hermanto, Yoshifumi Manabe, and Tatsuaki Okamoto. "A Simplified Private Stable Matching Algorithm", SCIS 2011. [pdf]

■2010年

  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto. "Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption", SCIS 2010. [pdf]

■2009年

  • Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto. "Unstablity of a punishment strategy in correlated equilibria", SCIS 2009. [pdf]
  • Reo Yoshida and Katsuyuki Takashima. "An Algorithm for Computing a Sequence of Richelot Isogenies", SCIS 2009.
  • Waka Nagao. "On Universally Composable KEM, DEM and Three Cryptographic Channels", Ph. D Thesis, Kyoto University. [pdf]

■2008年

  • Norio Akagi, Yoshifumi Manabe, and Tatsuaki Okamoto. "An Efficient Anonymous Credential System with Revocation", SCIS 2008. [pdf]
  • Yosuke Tomii, Yoshifumi Manabe, and Tatsuaki Okamoto. "On the Security of an Unlinkable Off-line E-Cash System", SCIS 2008. [pdf]
  • Reo Yoshida and Katsuyuki Takashima. "Algorithms of Computing a Sequence of 2-isogenies", SCIS 2008.

■2007年

  • Norio Akagi, Yoshifumi Manabe, and Tatsuaki Okamoto. "An Efficient Anonymous Credential System", SCIS 2007. [pdf]
  • Yusuke Okada, Yoshifumi Manabe, and Tatsuaki Okamoto. "An Optimistic Fair Exchange Protocol and its Security in the Universal Composability Framework", SCIS 2007. [pdf]
  • Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto. "Universally Composable Identification", SCIS 2007.
  • Yosuke Tomii, Yoshifumi Manabe, and Tatsuaki Okamoto. "An Unlinkable Off-line E-Cash System", SCIS 2007. [pdf]

■2006年

  • Toshiaki Makita, Yoshifumi Manabe, and Tatsuaki Okamoto. "Short Group Signatures with Efficient Flexible Join", SCIS 2006, 2006. [pdf]
  • Seiji Doi, Yoshifumi Manabe, and Tatsuaki Okamoto. "Universally Composable Blind Signatures", SCIS 2006, 2006. [pdf]
  • Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto. "Universally Composable Identity-Based Encryption", SCIS 2006, 2006. [pdf]
  • Yusuke Okada, Yoshifumi Manabe, and Tatsuaki Okamoto. "Optimistic Fair Exchange Protocol for E-Commerce", SCIS 2006, 2006. [pdf]

■2005年

  • 牧田 俊明, 真鍋 義文, 岡本 龍明. "汎用的結合可能なグループ署名について", SCIS 2005, pp.355-360, 2005. [pdf]
  • 土居 誠司, 真鍋 義文, 岡本 龍明. "汎用的結合可能な電子投票方式について", SCIS 2005, pp.883-888, 2005. [pdf]

■2004年

  • 長尾 若, 真鍋 義文, 岡本 龍明. "ハイブリッド暗号の安全性について", SCIS 2004, pp.35-40, 2004. [pdf]
  • 西垣 秀哉, 真鍋 義文, 岡本 龍明. "ツリー構造による署名方式とその安全性証明", SCIS 2004, pp.631-636, 2004. [pdf]

↑