Tadanori Teruya - My portal

Profile Information

Affiliation: Senior Researcher, Cyber Physical Security Research Center, National Institute of Advanced Industrial Science and Technology

Degree: Ph.D. (engineering)(Mar, 2012, University of Tsukuba)

J-GLOBAL ID: 201101011159716544
researchmap Member ID: B000219423

External link: https://orcid.org/0000-0003-4362-4887

ORCID: https://orcid.org/0000-0003-4362-4887
figshare: https://figshare.com/authors/Tadanori_Teruya/5239586
ResearcherID: https://www.researcherid.com/rid/O-1145-2016
DBLP: https://dblp.dagstuhl.de/pers/hd/t/Teruya:Tadanori

====

I'm a researcher. My research interests include computer arithmetic, efficient software implementation, applications of cryptography, secure computation, privacy-enhancing technologies, formally verification of implementations, computer science, mathematics, so many things but they relate to the aspects of "real world" of cryptography.

Research Areas

Informatics / Information security / Cryptography

Research Interests

Papers

Delegating Verification for Remote Attestation Using TEE

Takashi Yagawa, Tadanori Teruya, Kuniyasu Suzaki, Hirotake Abe

7th Workshop on System Software for Trusted Execution (SysTEX 2024), 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 186-192, Jul 8, 2024 Peer-reviewed
Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing Functionality

Ryu ISHII, Kyosuke YAMASHITA, Zihao SONG, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E107.A(4) 619-633, Apr 1, 2024 Peer-reviewed
Signature for Objects: Formalizing How to Authenticate Physical Data and More

Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob C. N. Schuldt, Nuttapong Attrapadung …

Financial Cryptography and Data Security, 182-199, Dec 1, 2023 Peer-reviewed
Fault-Tolerant Aggregate Signature Schemes against Bandwidth Consumption Attack

Kyosuke YAMASHITA, Ryu ISHII, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E106.A(9) 1177-1188, Sep 1, 2023 Peer-reviewed
Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing Functionality

Ryu Ishii, Kyosuke Yamashita, Zihao Song, Yusuke Sakai, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto

Proceedings of the 5th International Workshop on Attacks and Defenses for the Internet-of-Things (ADIoT) 2022, Lecture Notes in Computer Science, 13745 51-71, Dec, 2022 Peer-reviewed
Aggregate Signature Schemes with Traceability of Devices Dynamically Generating Invalid Signatures

Ryu ISHII, Kyosuke YAMASHITA, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO

IEICE Transactions on Information and Systems, E105.D(11) 1845-1856, Nov 1, 2022 Peer-reviewed
Secure Parallel Computation on Privately Partitioned Data and Applications

Nuttapong Attrapadung, Hiraku Morita, Kazuma Ohara, Jacob C.N. Schuldt, Tadanori Teruya, Kazunari Tozawa

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 151-164, Nov, 2022 Peer-reviewed
Oblivious Linear Group Actions and Applications

Nuttapong Attrapadung, Goichiro Hanaoaka, Takahiro Matsuda, Hiraku Morita, Kazuma Ohara, Jacob C. N. Schuldt, Tadanori Teruya, Kazunari Tozawa

Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 12, 2021 Peer-reviewed
Aggregate Signature with Traceability of Devices Dynamically Generating Invalid Signatures

Ryu Ishii, Kyosuke Yamashita, Yusuke Sakai, Takahiro Matsuda, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto

The 2nd ACNS Workshop on Secure Cryptography Implementation, Jun, 2021 Peer-reviewed
A Note on Subgroup Security in Discrete Logarithm-Based Cryptography

Tadanori Teruya

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E104-A(1) 104-120, Jan, 2021 Peer-reviewed
Efficient Secure Neural Network Prediction Protocol Reducing Accuracy Degradation

Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Jason Paul Cruz, Naoto Yanai, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103-A(12) 1367-1380, Dec, 2020 Peer-reviewed
Constant-Round Client-Aided Two-Server Secure Comparison Protocol and Its Applications

Hiraku Morita, Nuttapong Attrapadung, Tadanori Teruya, Satsuya Ohata, Koji Nuida, Goichiro Hanaoka

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103-A(1) 21-32, Jan, 2020 Peer-reviewed
MOBIUS: Model-Oblivious Binarized Neural Networks

Hiromasa Kitai, Jason Paul Cruz, Naoto Yanai, Naohisa Nishida, Tatsumi Oba, Yuji Unagami, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka

IEEE Access, 7 1-14, Sep, 2019 Peer-reviewed
Security analysis of elliptic curves with embedding degree 1 proposed in PLOS ONE 2016

Tadanori Teruya

PLOS ONE, 14(2) 1-11, Feb, 2019 Peer-reviewed
Efficient Estimation of Number of Short Lattice Vectors in Search Space under Randomness Assumption

Yoshitatsu Matsuda, Tadanori Teruya, Kenji Kashiwabara

Proceedings of the 6th ACM ASIA Public-Key Cryptography Workshop (APKC 2019), 13-22, 2019 Peer-reviewed
An Observation on the Randomness Assumption over Lattices

Tadanori Teruya

Proceedings of the International Symposium on Information Theory and Its Applications (ISITA) 2018, 311-315, Oct, 2018 Peer-reviewed
Embedding Lemmas for Functional Encryption

Ryo Kato, Naohisa Nishida, Ryo Hirano, Tatsumi Oba, Yuji Unagami, Shota Yamada, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka

Proceedings of the International Symposium on Information Theory and Its Applications (ISITA) 2018, 712-716, Oct, 2018 Peer-reviewed
Constant-Round Client-Aided Secure Comparison Protocol

Hiraku Morita, Nuttapong Attrapadung, Tadanori Teruya, Satsuya Ohata, Koji Nuida, Goichiro Hanaoka

Proceedings of the 23rd symposium in the European Symposium on Research in Computer Security (ESORICS) 2018, Lecture Notes in Computer Science, 11099 395-415, Sep, 2018 Peer-reviewed
A Note on Subgroup Security in Pairing-Based Cryptography

Tadanori Teruya

Proceedings of the 5th ACM ASIA Public-Key Cryptography Workshop (APKC 2018), 35-43, Jun, 2018 Peer-reviewed
Efficient Two-level Homomorphic Encryption in Prime-order Bilinear Groups and A Fast Implementation in WebAssembly

Nuttapong Attrapadung, Goichiro Hanaoka, Shigeo Mitsunari, Yusuke Sakai, Kana Shimizu, Tadanori Teruya

Proceedings of the 13th ACM ASIA Conference on Information, Computer and Communications Security (ACM ASIACCS 2018), 685-697, Jun, 2018 Peer-reviewed

Awards

Oct, 2022

Outstanding paper, A Secure Computation Protocol for Bayesian Optimization, Computer Security Symposium 2022

Nuttapong Attrapadung, Goichiro Hanaoka, Takahiro Matsuda, Kazuma Ohara, Tadanori Teruya
Oct, 2021

優秀論文賞(Outstanding Paper), Signature for Objects: Formalization, Security Definition, and Provably Secure Constructions, Computer Security Symposium 2021

Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob Schuldt, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto
Oct, 2020

奨励賞(Honorable Mention), Efficient Pairing Algorithms Using Twists of Degree 3, Computer Security Symposium 2020

Masahiro Ishii, Tadanori Teruya, Takanori Yasuda
Oct, 2018

Best Demonstration Award, 秘匿依頼計算アプリ開発のための汎用ライブラリ, Computer Security Symposium 2018

森遼太, 光成滋生, 照屋唯紀, 浅井潔, 岡田大弥, 北井宏昌, 小松みさき, 橋本侑知, 林田淳一郎, 花岡悟一郎
Aug, 2018

辻井重男セキュリティ論文賞特別賞, Fast Lattice Basis Reduction Suitable for Massive Parallelization and Its Application to the Shortest Vector Problem, 第３回「辻井重男セキュリティ論文賞」

Tadanori Teruya, Kenji Kashiwabara, Goichiro Hanaoka
Oct, 2017

Best Demonstration Award, 暗号プロトコル学習アプリ～ズルはダメ！ゼッタイ！～, Computer Security Symposium 2017

産業技術総合研究所, 照屋唯紀, 岡田大弥, 永井翔也, 小松みさき, 橋本侑知, 藤田亮, 稲村勝樹, 花岡悟一郎
Apr, 2016

AIST President Award (Research), 高機能暗号とデータベースの秘匿検索技術の開発, National Institute of Advanced Industrial Science and Technology

Goichiro Hanaoka, Kana Shimizu, Koji Nuida, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Michiaki Hamada, Koji Tsuda, Kiyoshi Asai
Oct, 2014

Best Demonstration Award, 範囲指定型問い合わせに対する効率的なデータベース秘匿検索プロトコル, Computer Security Symposium 2014

産業技術総合研究所, 照屋唯紀, Nuttapong Attrapadung, 稲村勝樹, 松田隆宏, 中川紗菜美, 縫田光司, 花岡悟一郎, 清水佳奈
Oct, 2013

Best Demonstration Award, 双方向の情報を秘匿可能な効率的化合物データベース検索プロトコル, Computer Security Symposium 2013

産業技術総合研究所, 縫田光司, 照屋唯紀, 花岡悟一郎, 清水佳奈, 松田隆宏, 矢内直人, 中川紗奈美

Research Projects

あらゆる高機能暗号方式の相互変換を可能にするアジャイルクリプト技術

科学研究費助成事業基盤研究(A), 基盤研究(A), 日本学術振興会, Apr, 2019 - Mar, 2024

Attrapadung Nuttapong, 縫田光司, 照屋唯紀, 花岡悟一郎, 坂井祐介, 松田隆宏, 山田翔太, 村上隆夫, Schuldt Jacob
Secure Computation for Privacy-Preserving Mechanism Design

PRESTO, Strategic Basic Research Programs, Strengthening ICT Infrastructure for Social Change, Japan Science and Technology Agency, 2021 - 2024
格子篩と格子点列挙を組み合わせた高速な格子基底簡約アルゴリズムの構築

科学研究費助成事業基盤研究(B), 基盤研究(B), 日本学術振興会, Apr, 2020 - Mar, 2023

照屋唯紀, 松田源立, 柏原賢二, 池上努
Fast Lattice Basis Reduction suitable for Massive Parallelization

ACT-I "Information and Future", Japan Science and Technology Agency, Oct, 2018 - Mar, 2020

Tadanori Teruya
Efficient Lattice Basis Reduction Algorithm Based on Probabilistic Analysis

Grants-in-Aid for Scientific Research Grant-in-Aid for Early-Career Scientists, Grant-in-Aid for Early-Career Scientists, Japan Society for the Promotion of Science, Apr, 2018 - Mar, 2020

Teruya Tadanori
Research on authentication and key management techniques based on weak secrets

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B), Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2019

Works

Solving the 152-dimension SVP Challenge

Kenji Kashiwabara, Tadanori Teruya

Oct, 2018 - Oct, 2018 Other
Solving problems in the LWE Challenge

Kenji KASHIWABARA, Tadanori TERUYA

Mar, 2017 - Mar, 2017 Other
Solving the 130-dimension Ideal Lattice Challenge

Kenji Kashiwabara, Tadanori Teruya

Sep, 2015 - Sep, 2015 Other
C++ implemantation of the elliptic curve lifted ElGamal cryptosystem

RISEC, AIST

Apr, 2014 Software
Software Implementation of Attibute-Based Encryption

Eric Zavattoni, Luis J. Dominguez Perez, Shigeo Mitsunari, Ana Helena Sánchez, Tadanori Teruya, d, Francisco Rodríguez-Henríquez

Jun, 2013 Software
Fairy Ring: Ubiquitous Secure Multi-party Computation Framework

Tadanori TERUYA, Yoshiki AOKI, Shohei KOBAYASHI, Jun SAKUMA

Apr, 2012 - Mar, 2013 Software
High-Speed Software Implementation of the Optimal Ate Pairing over Barreto-Naehrig Curves

Jean-Luc Beuchat, Jorge Enrique González-Díaz, Shigeo Mitsunari, Eiji Okamoto, Francisco Rodríguez-Henríquez, Tadanori Teruya

Jun, 2010 Software

Presentations

最強の解読法で作る安全な暗号技術（課題名：大規模並列計算に適した高速な格子基底簡約アルゴリズムの開発）

照屋唯紀

ACT-I先端研究フォーラム～「情報と未来」研究者講演会～ - ACT-I 1期生加速フェーズ・3期生成果発表会 -, May 16, 2020
Observations on Random Sampling Reduction Algorithms

Tadanori Teruya

Mathematical approach for quantum information society, Sep 18, 2018
長期安全性を保証する実用的なプライバシ保護技術の実現に向けて

Tadanori Teruya

Small-workshop on Communications between Academia and Industry for Security (SCAIS) 2016, Jan 18, 2016, Suga Yuji (IIJ/Univ. of Tsukuba)，Koji Nuida (AIST/JST PRESTO)，Takuya Hayashi (NICT)
秘密を守るだけじゃない！これからの暗号技術

Tadanori Teruya

140th Risk Engineering Research Meeting, Oct 26, 2015, Takashi Nishide
On Limitations and Alternatives of Privacy-Preserving Cryptographic Protocols for Genomic Data

Tadanori Teruya

Cryptography Seminar in the Institute of Mathematics for Industry at Kyushu University, Sep 14, 2015, Institute of Mathematics for Industry at Kyushu University
Towards Practical Long-Term Secure Cryptographic Protocols for Genome Privacy Protection

Tadanori Teruya

Privacy-aware computational genomics 2015, Sep 8, 2015, Kana Shimizu, Takahiro Matsuda (AIST, Japan), and Antti Honkela, (University of Helsinki, Finland) Invited

Research History

Education

Apr, 2009 - Mar, 2012

Doctor's Program in Risk Engineering, Graduate School of System and Information Engineering, University of Tsukuba
Apr, 2007 - Mar, 2009

Master's Program in Risk Engineering, Graduate School of System and Information Engineering, University of Tsukuba
Apr, 2003 - Mar, 2007

College of Information Sciences, Third Cluster of Colleges, University of Tsukuba

Misc.

A Secure Computation Protocol for Bayesian Optimization

Nuttapong Attrapadung, Goichiro Hanaoka, Takahiro Matsuda, Kazuma Ohara, Tadanori Teruya

Computer Security Symposium 2021, 1-8, Oct, 2022
An Efficient Sparse Multiplication Algorithm For Pairing-Friendly Elliptic Curves With Cubic Twist

Daiki Hayashida, Kenichiro Hayasaka, Tadanori Teruya

IEICE Technical Report (ISEC), 122(122) 110-117, Jul, 2022
Issues and Considerations for Improvement of Verification in ECDSA Attestation of Intel SGX

Takashi Yagawa, Kuniyasu Suzaki, Tadanori Teruya, Kazuma Ohara, Hirotake Abe

IEICE Technical Report (HWS), 122(125) 23-28, Jul, 2022
Extension of "Signature for Objects" to Multiple Objects

Taiki Asano, Ryuya Hayashi, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob Schuldt, Nuttapong Attrapadung …

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
"Signature for Objects" with Object Privacy

Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob Schuldt, Nuttapong Attrapadung …

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing

Ryu Ishii, Kyosuke Yamashita, Song Zihao, Tadanori Teruya, Yusuke Sakai, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
A Study of A Potential Attack on Fault-Tolerant Aggregate Signature Schemes and How to Deal with It

Kyosuke Yamashita, Ryu Ishii, Tadanori Teruya, Yusuke Sakai, Coichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
A Note on Group Membership Check in Elliptic Curves for Pairings

Takanori Yasuda, Masahiro Ishii, Tadanori Teruya

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
A Discussion of the Advantages and Disadvantages of Two Remote Attestations in Intel SGX

Takashi Yagawa, Tadanori Teruya, Kuniyasu Suzaki, Hirotake Abe

The 39th Symposium on Cryptography and Information Security (SCIS 2022), Jan, 2022
Intel SGX DCAPを利用したリモートアテステーションの特徴についての調査

Takashi Yagawa, Tadanori Teruya, Kuniyasu Suzaki

Hardware Security Forum 2021 Poster Session, Dec, 2021
Intel SGXにおける2つのリモートアテステーションの比較

Takashi Yagawa, Tadanori Teruya, Kuniyasu Suzaki, Hirotake Abe

ComSys2021 Poster Session, Dec, 2021
Signature for Objects: Formalization, Security Definition, and Provably Secure Constructions

Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda, Shota Yamada, Shuichi Katsumata, Yusuke Sakai, Tadanori Teruya, Jacob Schuldt, Nuttapong Attrapadung …

Computer Security Symposium 2021, Oct, 2021
Fundamental Study on Acceleration of Inversion using Binary Extended Euclidean Algorithm for Pairing Computation in RNS Representation

Kota Morimoto, Daisuke Fujimoto, Saki Osuka, Shinichi Kawamura, Tadanori Teruya, Yuichi hayashi

IEICE Technical Report, 121 8-13, Jul, 2021
動的に不正署名を生成するデバイスを追跡可能な集約署名

石井龍, 照屋唯紀, 坂井祐介, 松田隆宏, 花岡悟一郎, 松浦幹太, 松本勉

暗号と情報セキュリティシンポジウム2021 (SCIS 2021), Jan, 2021
BLS曲線上のペアリングにおける効率的な最終べき分解方式

林田大輝, 早坂健一郎, 照屋唯紀

暗号と情報セキュリティシンポジウム2021 (SCIS 2021), Jan, 2021 Last author
3次ツイストを利用した効率的なペアリングアルゴリズム

石井将大, 照屋唯紀, 安田貴徳

コンピュータセキュリティシンポジウム2020予稿集, 3D2-2 1080-1087, Oct, 2020
Efficient Final Exponentiation via Cyclotomic Structure for Pairings over Families of Elliptic Curves

Daiki Hayashida, Kenichiro Hayasaka, Tadanori Teruya

IACR Cryptology ePrint Archive, 1-24, Jul, 2020
格子暗号の安全性の推定における高次統計量とGram-Charlier展開の活用

Yoshitatsu Matsuda, Tadanori Teruya, Kenji Kashiwabara

ポスターセッション in 第22回情報論的学習理論ワークショップ (IBIS 2019), Nov, 2019
A Note on the Randomness Assumption

Tomohiro Sekiguchi, Eiichiro Fujisaki, Tadanori Teruya

2019 Symposium on Cryptography and Information Security (SCIS 2019), 4B1(4), Jan, 2019
Designs and Implementation Evaluations of Privacy Preserving Prediction with Model Oblivious Binarized Neural Networks

Hiromasa Kitai, Jason Paul Cruz, Naoto Yanai, Nohisa Nishida, Tatsumi Oba, Yuji Unagami, Tadanori Teruya, Nuttapong Attrapadung, Takahiro Matsuda, Goichiro Hanaoka

2019 Symposium on Cryptography and Information Security (SCIS 2019), 2C1(4) 1-8, Jan, 2019