Shin'ichiro Matsuo

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 18

Top Topics

Formal Analysis

Authentication Protocol

Contextual Knowledge

Service Level Agreements

Top Venues

Financial Cryptography Workshops

IACR Cryptol. ePrint Arch.

Publications

Shinobu Miwa, Shin'ichiro Matsuo
Analyzing the Performance Impact of HPC Workloads with Gramine+SGX on 3rd Generation Xeon Scalable Processors. SC Workshops (2023)
Michael Bartholic, Eric William Burger, Shin'ichiro Matsuo, Taeho Jung
Reputation as Contextual Knowledge: Incentives and External Value in Truthful Blockchain Oracles. ICBC (2023)
Ilan Komargodski, Shin'ichiro Matsuo, Elaine Shi, Ke Wu
log*-Round Game-Theoretically-Fair Leader Election. IACR Cryptol. ePrint Arch. 2022 (2022)
Kentaro Sako, Shin'ichiro Matsuo, Tatsuya Mori
Distributed Random Number Generation Method on Smart Contracts. BIOTC (2022)
Ilan Komargodski, Shin'ichiro Matsuo, Elaine Shi, Ke Wu
-Round Game-Theoretically-Fair Leader Election. CRYPTO (3) (2022)
Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka
Selfish Mining Attacks Exacerbated by Elastic Hash Supply. Financial Cryptography (2) (2021)
Benedikt Bünz, Yuncong Hu, Shin'ichiro Matsuo, Elaine Shi
Non-Interactive Differentially Anonymous Router. IACR Cryptol. ePrint Arch. 2021 (2021)
Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier
Fairness in ERC token markets: A Case Study of CryptoKitties. CoRR (2021)
Kentaro Sako, Shin'ichiro Matsuo, Sachin Meier
Fairness in ERC Token Markets: A Case Study of CryptoKitties. Financial Cryptography Workshops (2021)
Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, Aron Laszka
Selfish Mining Attacks Exacerbated by Elastic Hash Supply. CoRR (2021)
Michael Bartholic, Zhengrong Gu, Jianan Su, Justin Goldstein, Shin'ichiro Matsuo
Smart Auto Insurance: High Resolution, Dynamic, Privacy-Driven, Telematic Insurance. CoRR (2021)
Shin'ichiro Matsuo
Effectiveness of Multi-stakeholder Discussions for Decentralized Finance: A Conference Report of CoDeFi 2020. Financial Cryptography Workshops (2020)
Jianan Su, Michael Bartholic, Andrew Stange, Ryosuke Ushida, Shin'ichiro Matsuo
How to Dynamically Incentivize Sufficient Level of IoT Security. Financial Cryptography Workshops (2020)
Michael Bartholic, Jianan Su, Ryosuke Ushida, Yusuke Ikeno, Zhengrong Gu, Shin'ichiro Matsuo
Proof of No-Work: How to Incentivize Individuals to Stay at Home. DPM/CBT@ESORICS (2020)
Shin'ichiro Matsuo
How formal analysis and verification add security to blockchain-based systems. FMCAD (2017)
Masashi Sato, Shin'ichiro Matsuo
Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography. ICCCN (2017)
Masashi Sato, Shin'ichiro Matsuo
Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography. EuroS&P Workshops (2017)
Joona Kannisto, Takeshi Takahashi, Jarmo Harju, Seppo Heikkinen, Marko Helenius, Shin'ichiro Matsuo, Bilhanan Silverajan
A non-repudiable negotiation protocol for security service level agreements. Int. J. Commun. Syst. 28 (15) (2015)
Takeshi Takahashi, Jarmo Harju, Joona Kannisto, Bilhanan Silverajan, Shin'ichiro Matsuo
Tailored Security: Building Nonrepudiable Security Service-Level Agreements. CoRR (2014)
Dan Bogdanov, Keita Emura, Roman Jagomägis, Akira Kanaoka, Shin'ichiro Matsuo, Jan Willemson
A Secure Genetic Algorithm for the Subset Cover Problem and Its Application to Privacy Protection. WISTP (2014)
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Akira Kanaoka, Yuuki Takano, Shin'ichiro Matsuo
Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme. SERVICES (2014)
Daisuke Moriyama, Shin'ichiro Matsuo, Miyako Ohkubo
Relations among Notions of Privacy for RFID Authentication Protocols. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2014)
Takeshi Takahashi, Keita Emura, Akira Kanaoka, Shin'ichiro Matsuo, Tadashi Minowa
Risk visualization and alerting system: architecture and proof-of-concept implementation. SESP@CCS Asia (2013)
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Seppo Heikkinen, Bilhanan Silverajan, Marko Helenius, Shin'ichiro Matsuo
Tailored Security: Building Nonrepudiable Security Service-Level Agreements. IEEE Veh. Technol. Mag. 8 (3) (2013)
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Seppo Heikkinen, Marko Helenius, Shin'ichiro Matsuo, Bilhanan Silverajan
Accountable security mechanism based on security service level agreement. ISCC (2013)
Daisuke Moriyama, Shin'ichiro Matsuo, Moti Yung
PUF-Based RFID Authentication Secure and Private under Complete Memory Leakage. IACR Cryptol. ePrint Arch. 2013 (2013)
Daisuke Moriyama, Miyako Ohkubo, Shin'ichiro Matsuo
A Forward Privacy Model for RFID Authentication Protocols. WISTP (2013)
Wakaha Ogata, Keita Koiwa, Akira Kanaoka, Shin'ichiro Matsuo
Toward Practical Searchable Symmetric Encryption. IWSEC (2013)
Daisuke Moriyama, Shin'ichiro Matsuo, Miyako Ohkubo
Relations among Notions of Privacy for RFID Authentication Protocols. ESORICS (2012)
Takeshi Takahashi, Gregory Blanc, Youki Kadobayashi, Doudou Fall, Hiroaki Hazeyama, Shin'ichiro Matsuo
Enabling secure multitenancy in cloud computing: Challenges and approaches. BCFIC (2012)
Shin'ichiro Matsuo
Panel Discussion: Mobile Device Trust - How Do We Link Social Needs, Technical Requirements, Techniques and Standards? INTRUST (2012)
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
Fair and Consistent Hardware Evaluation of Fourteen Round Two SHA-3 Candidates. IEEE Trans. Very Large Scale Integr. Syst. 20 (5) (2012)
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
). IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2012)
Yoshikazu Hanatani, Miyako Ohkubo, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta
A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication. Financial Cryptography Workshops (2011)
Shin'ichiro Matsuo, Daisuke Moriyama, Moti Yung
Multifactor Authenticated Key Renewal. INTRUST (2011)
Shin'ichiro Matsuo, Kunihiko Miyazaki, Akira Otsuka, David A. Basin
How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC. Financial Cryptography Workshops (2010)
Le Trieu Phong, Shin'ichiro Matsuo, Moti Yung
Leakage Resilient Strong Key-Insulated Signatures in Public Channel. INTRUST (2010)
Shin'ichiro Matsuo, Le Trieu Phong, Miyako Ohkubo, Moti Yung
Leakage-Resilient RFID Authentication with Forward-Privacy. RFIDSec (2010)
Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility. IACR Cryptol. ePrint Arch. 2010 (2010)
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
). Public Key Cryptography (2010)
Takuya Hayashi, Naoyuki Shinohara, Lihua Wang, Shin'ichiro Matsuo, Masaaki Shirase, Tsuyoshi Takagi
). IACR Cryptol. ePrint Arch. 2010 (2010)
Kazuyuki Kobayashi, Jun Ikegami, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta
Evaluation of Hardware Performance for the SHA-3 Candidates Using SASEBO-GII. IACR Cryptol. ePrint Arch. 2010 (2010)
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
Prototyping Platform for Performance Evaluation of SHA-3 Candidates. HOST (2010)
Yasumasa Hirai, Takashi Kurokawa, Shin'ichiro Matsuo, Hidema Tanaka, Akihiro Yamamura
Classification of Hash Functions Suitable for Real-Life Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2008)
Toshihiko Matsuo, Shin'ichiro Matsuo
On Universal Composable Security of Time-Stamping Protocols. IACR Cryptol. ePrint Arch. 2005 (2005)
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
Efficient Divisible Voting Scheme. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2005)
Toshihiko Matsuo, Shin'ichiro Matsuo
On Universal Composable Security of Time-Stamping Protocols. IWAP (2005)
Shin'ichiro Matsuo, Wakaha Ogata
Electronic Ticket Scheme for ITS. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2003)
Shin'ichiro Matsuo, Wakaha Ogata
Brief announcement: a method for exchanging valuable data: how to realize matching oblivious transfer. PODC (2003)
Shin'ichiro Matsuo, Wakaha Ogata
Matching Oblivious Transfer: How to Exchange Valuable Data. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2003)
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
Divisible Voting Scheme. IACR Cryptol. ePrint Arch. 2003 (2003)
Natsuki Ishida, Shin'ichiro Matsuo, Wakaha Ogata
Divisible Voting Scheme. ISC (2003)