Shin'ichiro Matsuo

62 papers A* 1A 1B 3C 7Misc 1Journal 22Unranked 21
YearRankTypeTitle / Venue / Authors
2025 C conf
Biometrics Enhances Blockchain Wallet Governance.
ICBC
Saki Otsuki, Hiroto Tamiya, Kengo Mori, Toshiyuki Isshiki, Shin'ichiro Matsuo, Satoshi Obana
2025 C conf
Block Hijacking Attack: Impact Evaluation on Liquid Network and Design Insights for Blockchain-based Scaling Solutions.
ICBC
Kabuto Okajima, Shin'ichiro Matsuo, Koji Chida
2025 — ed.
Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers
FC Workshops
Jurlind Budurushi, Oksana Kulyk, Sarah Allen, Theo Diamandis, Ariah Klages-Mundt, Andrea Bracciali, Geoffrey Goodell, Shin'ichiro Matsuo
2025 — conf
LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners.
RAIE
Shohei Mitani, Salonee Moona, Shin'ichiro Matsuo, Eric W. Burger
2025 J jnl
Post-Quantum Blockchain: Transition Landscape Amidst Evolving Complexity.
IACR Cryptol. ePrint Arch.
Kigen Fukuda, Shin'ichiro Matsuo
2024 — ed.
Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers
FC Workshops
Aleksander Essex, Shin'ichiro Matsuo, Oksana Kulyk, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez, Sam Werner, Andrea Bracciali, Geoff Goodell
2023 — conf
Analyzing the Performance Impact of HPC Workloads with Gramine+SGX on 3rd Generation Xeon Scalable Processors.
SC Workshops
Shinobu Miwa, Shin'ichiro Matsuo
2023 — ed.
Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers
Financial Cryptography Workshops
Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala
2023 C conf
Reputation as Contextual Knowledge: Incentives and External Value in Truthful Blockchain Oracles.
ICBC
Michael Bartholic, Eric William Burger, Shin'ichiro Matsuo, Taeho Jung
2022 — conf
Distributed Random Number Generation Method on Smart Contracts.
BIOTC
Kentaro Sako, Shin'ichiro Matsuo, Tatsuya Mori
2022 — conf
log
CRYPTO (3)
Ilan Komargodski, Shin'ichiro Matsuo, Elaine Shi, Ke Wu
2022 J jnl
log*-Round Game-Theoretically-Fair Leader Election.
IACR Cryptol. ePrint Arch.
Ilan Komargodski, Shin'ichiro Matsuo, Elaine Shi, Ke Wu
2021 — conf
Fairness in ERC Token Markets: A Case Study of CryptoKitties.
Financial Cryptography Workshops
Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier
2021 J jnl
Fairness in ERC token markets: A Case Study of CryptoKitties.
CoRR
Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier
2021 — ed.
Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers
Financial Cryptography Workshops
Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner
2021 J jnl
Non-Interactive Differentially Anonymous Router.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Yuncong Hu, Shin'ichiro Matsuo, Elaine Shi
2021 — conf
Selfish Mining Attacks Exacerbated by Elastic Hash Supply.
Financial Cryptography (2)
Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka
2021 J jnl
Selfish Mining Attacks Exacerbated by Elastic Hash Supply.
CoRR
Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka
2021 J jnl
Smart Auto Insurance: High Resolution, Dynamic, Privacy-Driven, Telematic Insurance.
CoRR
Michael Bartholic, Zhengrong Gu, Jianan Su, Justin Goldstein, Shin'ichiro Matsuo
2020 — conf
Effectiveness of Multi-stakeholder Discussions for Decentralized Finance: A Conference Report of CoDeFi 2020.
Financial Cryptography Workshops
Shin'ichiro Matsuo
2020 — ed.
Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
Financial Cryptography Workshops
Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala
2020 — conf
How to Dynamically Incentivize Sufficient Level of IoT Security.
Financial Cryptography Workshops
Jianan Su, Michael Bartholic, Andrew Stange, Ryosuke Ushida, Shin'ichiro Matsuo
2020 — conf
Proof of No-Work: How to Incentivize Individuals to Stay at Home.
DPM/CBT@ESORICS
Michael Bartholic, Jianan Su, Ryosuke Ushida, Yusuke Ikeno, Zhengrong Gu, Shin'ichiro Matsuo
2017 B conf
How formal analysis and verification add security to blockchain-based systems.
FMCAD
Shin'ichiro Matsuo
2017 — conf
Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography.
EuroS&P Workshops
Masashi Sato, Shin'ichiro Matsuo
2017 B conf
Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography.
ICCCN
Masashi Sato, Shin'ichiro Matsuo
2015 J jnl
A non-repudiable negotiation protocol for security service level agreements.
Int. J. Commun. Syst.
Joona Kannisto, Takeshi Takahashi, Jarmo Harju, Seppo Heikkinen, Marko Helenius, Shin'ichiro Matsuo, Bilhanan Silverajan
2015 — ed.
Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings
SSR
Liqun Chen, Shin'ichiro Matsuo
2014 C conf
A Secure Genetic Algorithm for the Subset Cover Problem and Its Application to Privacy Protection.
WISTP
Dan Bogdanov, Keita Emura, Roman Jagomägis, Akira Kanaoka, Shin'ichiro Matsuo, Jan Willemson
2014 B conf
Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme.
SERVICES
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Akira Kanaoka, Yuuki Takano, Shin'ichiro Matsuo
2014 J jnl
Relations among Notions of Privacy for RFID Authentication Protocols.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Daisuke Moriyama, Shin'ichiro Matsuo, Miyako Ohkubo
2014 J jnl
Tailored Security: Building Nonrepudiable Security Service-Level Agreements.
CoRR
Takeshi Takahashi, Jarmo Harju, Joona Kannisto, Bilhanan Silverajan, Shin'ichiro Matsuo
2013 C conf
A Forward Privacy Model for RFID Authentication Protocols.
WISTP
Daisuke Moriyama, Miyako Ohkubo, Shin'ichiro Matsuo
2013 C conf
Accountable security mechanism based on security service level agreement.
ISCC
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Seppo Heikkinen, Marko Helenius, Shin'ichiro Matsuo, Bilhanan Silverajan
2013 J jnl
PUF-Based RFID Authentication Secure and Private under Complete Memory Leakage.
IACR Cryptol. ePrint Arch.
Daisuke Moriyama, Shin'ichiro Matsuo, Moti Yung
2013 — conf
Risk visualization and alerting system: architecture and proof-of-concept implementation.
SESP@CCS Asia
Takeshi Takahashi, Keita Emura, Akira Kanaoka, Shin'ichiro Matsuo, Tadashi Minowa
2013 J jnl
Tailored Security: Building Nonrepudiable Security Service-Level Agreements.
IEEE Veh. Technol. Mag.
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Seppo Heikkinen, Bilhanan Silverajan, Marko Helenius, Shin'ichiro Matsuo
2013 Misc conf
Toward Practical Searchable Symmetric Encryption.
IWSEC
Wakaha Ogata, Keita Koiwa, Akira Kanaoka, Shin'ichiro Matsuo
2012 — conf
Enabling secure multitenancy in cloud computing: Challenges and approaches.
BCFIC
Takeshi Takahashi, Gregory Blanc, Youki Kadobayashi, Doudou Fall, Hiroaki Hazeyama, Shin'ichiro Matsuo
2012 J jnl
Fair and Consistent Hardware Evaluation of Fourteen Round Two SHA-3 Candidates.
IEEE Trans. Very Large Scale Integr. Syst.
Miroslav Knezevic, Kazuyuki Kobayashi, Jun Ikegami, Shin'ichiro Matsuo, Akashi Satoh, Ünal Koçabas, Junfeng Fan, Toshihiro Katashita, Takeshi Sugawara, Kazuo Sakiyama, Ingrid Verbauwhede, Kazuo Ohta, Naofumi Homma, Takafumi Aoki
2012 — conf
Panel Discussion: Mobile Device Trust - How Do We Link Social Needs, Technical Requirements, Techniques and Standards?
INTRUST
Shin'ichiro Matsuo
2012 A conf
Relations among Notions of Privacy for RFID Authentication Protocols.
ESORICS
Daisuke Moriyama, Shin'ichiro Matsuo, Miyako Ohkubo
2012 J jnl
Solving a 676-Bit Discrete Logarithm Problem in GF(3
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
2011 — conf
A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication.
Financial Cryptography Workshops
Yoshikazu Hanatani, Miyako Ohkubo, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta
2011 — conf
Multifactor Authenticated Key Renewal.
INTRUST
Shin'ichiro Matsuo, Daisuke Moriyama, Moti Yung
2010 J jnl
Evaluation of Hardware Performance for the SHA-3 Candidates Using SASEBO-GII.
IACR Cryptol. ePrint Arch.
Kazuyuki Kobayashi, Jun Ikegami, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta
2010 — conf
How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC.
Financial Cryptography Workshops
Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin
2010 — conf
Leakage Resilient Strong Key-Insulated Signatures in Public Channel.
INTRUST
Le Trieu Phong, Shin'ichiro Matsuo, Moti Yung
2010 — conf
Leakage-Resilient RFID Authentication with Forward-Privacy.
RFIDSec
Shin'ichiro Matsuo, Le Trieu Phong, Miyako Ohkubo, Moti Yung
2010 — conf
Prototyping Platform for Performance Evaluation of SHA-3 Candidates.
HOST
Kazuyuki Kobayashi, Jun Ikegami, Kazuo Sakiyama, Kazuo Ohta, Miroslav Knezevic, Ünal Koçabas, Junfeng Fan, Ingrid Verbauwhede, Eric Xu Guo, Shin'ichiro Matsuo, Sinan Huang, Leyla Nazhandali, Akashi Satoh
2010 J jnl
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility.
IACR Cryptol. ePrint Arch.
Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta
2010 — conf
Solving a 676-Bit Discrete Logarithm Problem in GF(3
Public Key Cryptography
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
2010 J jnl
Solving a 676-bit Discrete Logarithm Problem in GF(3
IACR Cryptol. ePrint Arch.
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
2008 J jnl
Classification of Hash Functions Suitable for Real-Life Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yasumasa Hirai, Takashi Kurokawa, Shin'ichiro Matsuo, Hidema Tanaka, Akihiro Yamamura
2005 J jnl
Efficient Divisible Voting Scheme.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
2005 — conf
On Universal Composable Security of Time-Stamping Protocols.
IWAP
Toshihiko Matsuo, Shin'ichiro Matsuo
2005 J jnl
On Universal Composable Security of Time-Stamping Protocols.
IACR Cryptol. ePrint Arch.
Toshihiko Matsuo, Shin'ichiro Matsuo
2003 A* conf
Brief announcement: a method for exchanging valuable data: how to realize matching oblivious transfer.
PODC
Shin'ichiro Matsuo, Wakaha Ogata
2003 C conf
Divisible Voting Scheme.
ISC
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
2003 J jnl
Divisible Voting Scheme.
IACR Cryptol. ePrint Arch.
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
2003 J jnl
Electronic Ticket Scheme for ITS.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shin'ichiro Matsuo, Wakaha Ogata
2003 J jnl
Matching Oblivious Transfer: How to Exchange Valuable Data.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shin'ichiro Matsuo, Wakaha Ogata