| 2025 | FC | An Analysis of Financial Stability Risk Propagation Through Leveraged Staking Activities. | Takaya Sugino, Benjamin Kraner, James Angel, Shin'ichiro Matsuo, Rohil Paruchuri |
| 2023 | SC | Analyzing the Performance Impact of HPC Workloads with Gramine+SGX on 3rd Generation Xeon Scalable Processors. | Shinobu Miwa, Shin'ichiro Matsuo |
| 2022 | CRYPTO | log | Ilan Komargodski, Shin'ichiro Matsuo, Elaine Shi, Ke Wu |
| 2021 | FC | Fairness in ERC Token Markets: A Case Study of CryptoKitties. | Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier |
| 2021 | FC | Selfish Mining Attacks Exacerbated by Elastic Hash Supply. | Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka |
| 2020 | ESORICS | Proof of No-Work: How to Incentivize Individuals to Stay at Home. | Michael Bartholic, Jianan Su, Ryosuke Ushida, Yusuke Ikeno, Zhengrong Gu, Shin'ichiro Matsuo |
| 2020 | FC | Effectiveness of Multi-stakeholder Discussions for Decentralized Finance: A Conference Report of CoDeFi 2020. | Shin'ichiro Matsuo |
| 2020 | FC | How to Dynamically Incentivize Sufficient Level of IoT Security. | Jianan Su, Michael Bartholic, Andrew Stange, Ryosuke Ushida, Shin'ichiro Matsuo |
| 2017 | FMCAD | How formal analysis and verification add security to blockchain-based systems. | Shin'ichiro Matsuo |
| 2017 | ICCCN | Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography. | Masashi Sato, Shin'ichiro Matsuo |
| 2014 | SERVICES | Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme. | Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Akira Kanaoka, Yuuki Takano, Shin'ichiro Matsuo |
| 2014 | WISTP | A Secure Genetic Algorithm for the Subset Cover Problem and Its Application to Privacy Protection. | Dan Bogdanov, Keita Emura, Roman Jagomgis, Akira Kanaoka, Shin'ichiro Matsuo, Jan Willemson |
| 2013 | CCS | Risk visualization and alerting system: architecture and proof-of-concept implementation. | Takeshi Takahashi, Keita Emura, Akira Kanaoka, Shin'ichiro Matsuo, Tadashi Minowa |
| 2013 | ISCC | Accountable security mechanism based on security service level agreement. | Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Seppo Heikkinen, Marko Helenius, Shin'ichiro Matsuo, Bilhanan Silverajan |
| 2013 | IWSEC | Toward Practical Searchable Symmetric Encryption. | Wakaha Ogata, Keita Koiwa, Akira Kanaoka, Shin'ichiro Matsuo |
| 2013 | WISTP | A Forward Privacy Model for RFID Authentication Protocols. | Daisuke Moriyama, Miyako Ohkubo, Shin'ichiro Matsuo |
| 2012 | ESORICS | Relations among Notions of Privacy for RFID Authentication Protocols. | Daisuke Moriyama, Shin'ichiro Matsuo, Miyako Ohkubo |
| 2011 | FC | A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication. | Yoshikazu Hanatani, Miyako Ohkubo, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta |
| 2010 | FC | How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. | Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin |
| 2010 | PKC | Solving a 676-Bit Discrete Logarithm Problem in GF(3 | Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi |
| 2003 | PODC | Brief announcement: a method for exchanging valuable data: how to realize matching oblivious transfer. | Shin'ichiro Matsuo, Wakaha Ogata |