Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts - Chihiro Kado; Naoto Yanai; Jason Paul Cruz; Kyosuke Yamashita; Shingo Okamura (Distributed Ledger Technol. Res. Pract., 2025)

APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec - Ouyang Junjie; Naoto Yanai; Tatsuya Takemura; Masayuki Okada; Shingo Okamura; Jason Paul Cruz (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)

A Study on Quantized Parameters for Protection of a Model and Its Inference Input - Hiromasa Kitai; Naoto Yanai; Kazuki Iwahana; Masataka Tatsumi; Jason Paul Cruz (J. Inf. Process., 2023)

An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities - Chihiro Kado; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, 2023)

An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts - Chihiro Kado; Naoto Yanai; Jason Paul Cruz; Kyosuke Yamashita; Shingo Okamura (CoRR, 2023)

SPGC: Integration of Secure Multiparty Computation and Differential Privacy for Gradient Computation on Collaborative Learning - Kazuki Iwahana; Naoto Yanai; Jason Paul Cruz; Toru Fujiwara (J. Inf. Process., 2022)

SQUAB: A Virtualized Infrastructure for BGP-related Experiments and Its Applications to Evaluation on BGPsec - Naoki Umeda; Naoto Yanai; Tatsuya Takemura; Masayuki Okada; Jason Paul Cruz; Shingo Okamura (J. Inf. Process., 2022)

APKC '22: 9th ACM ASIA Public-Key Cryptography Workshop - Jason Paul Cruz; Naoto Yanai (ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022, 2022)

MOTUS: How Quantized Parameters Improve Protection of Model and Its Inference Input - Hiromasa Kitai; Naoto Yanai; Kazuki Iwahana; Masataka Tatsumi; Jason Paul Cruz (Innovative Security Solutions for Information Technology and Communications - 15th International Conference, SecITC 2022, Virtual Event, December 8-9, 2022, Revised Selected Papers, 2022)

APKC '22: Proceedings of the 9th ACM on ASIA Public-Key Cryptography Workshop, APKC@AsiaCCS 2022, Nagasaki, Japan, 30 May 2022 - Jason Paul Cruz; Naoto Yanai (ACM, 2022)

RA: A Static Analysis Tool for Analyzing Re-Entrancy Attacks in Ethereum Smart Contracts - Yuichiro Chinen; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (J. Inf. Process., 2021)

SQUAB: A Virtualized Infrastructure for Experiments on BGP and its Extensions - Naoki Umeda; Naoto Yanai; Tatsuya Takemura; Masayuki Okada; Jason Paul Cruz; Shingo Okamura (Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021, Volume 1, 2021)

Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts - Nami Ashizawa; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (BSCI '21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, Virtual Event, Hong Kong, June 7, 2021, 2021)

SPGC: An Integrated Framework of Secure Computation and Differential Privacy for Collaborative Learning - Kazuki Iwahana; Naoto Yanai; Jason Paul Cruz; Toru Fujiwara (Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers, 2021)

APVAS+: A Practical Extension of BGPsec with Low Memory Requirement - Tatsuya Takemura; Naoto Yanai; Naoki Umeda; Masayuki Okada; Shingo Okamura; Jason Paul Cruz (ICC 2021 - IEEE International Conference on Communications, Montreal, QC, Canada, June 14-23, 2021, 2021)

Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts - Nami Ashizawa; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (CoRR, 2021)

Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation - Masahiro Kamimura; Naoto Yanai; Shingo Okamura; Jason Paul Cruz (IEEE Access, 2020)

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 Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis - Yuichiro Chinen; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (IEEE International Conference on Blockchain, Blockchain 2020, Rhodes, Greece, November 2-6, 2020, 2020)

Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis - Yuichiro Chinen; Naoto Yanai; Jason Paul Cruz; Shingo Okamura (CoRR, 2020)

APVAS: Reducing Memory Size of AS_PATH Validation by Using Aggregate Signatures - Ouyang Junjie; Naoto Yanai; Tatsuya Takemura; Masayuki Okada; Shingo Okamura; Jason Paul Cruz (CoRR, 2020)

Hybrid-BFT: Optimistically Responsive Synchronous Consensus with Optimal Latency or Resilience - Atsuki Momose; Jason Paul Cruz; Yuichi Kaji (IACR Cryptol. ePrint Arch., 2020)

ISDSR+: Improving the Security and Availability of Secure Routing Protocol - Hideharu Kojima; Naoto Yanai; Jason Paul Cruz (IEEE Access, 2019)

Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache - Hayato Shimamoto; Naoto Yanai; Shingo Okamura; Jason Paul Cruz; Shouei Ou; Takao Okubo (IEEE Access, 2019)

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, 2019)

Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation - Masahiro Kamimura; Naoto Yanai; Shingo Okamura; Jason Paul Cruz (CoRR, 2019)

RBAC-SC: Role-Based Access Control Using Smart Contract - Jason Paul Cruz; Yuichi Kaji; Naoto Yanai (IEEE Access, 2018)

On Security of Anonymous Invitation-Based System - Naoto Yanai; Jason Paul Cruz (Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings, 2018)

Hash-Based Signature with Constant-Sum Fingerprinting and Partial Construction of Hash Chains - Yuichi Kaji; Jason Paul Cruz; Yoshio Yatani (Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018, 2018)

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 (CoRR, 2018)

Constant-sum fingerprinting for Winternitz one-time signature - Jason Paul Cruz; Yoshio Yatani; Yuichi Kaji (2016 International Symposium on Information Theory and Its Applications, ISITA 2016, Monterey, CA, USA, October 30 - November 2, 2016, 2016)