Shin'ichiro Matsuo

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

Reputation as Contextual Knowledge: Incentives and External Value in Truthful Blockchain Oracles.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2022

log*-Round Game-Theoretically-Fair Leader Election.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

log *-Round Game-Theoretically-Fair Leader Election.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Distributed Random Number Generation Method on Smart Contracts.

[BibT_eX]

[DOI]

Kentaro Sako

Tatsuya Mori

Proceedings of the 4th Blockchain and Internet of Things Conference, 2022

2021

Non-Interactive Differentially Anonymous Router.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Smart Auto Insurance: High Resolution, Dynamic, Privacy-Driven, Telematic Insurance.

[BibT_eX]

[DOI]

CoRR, 2021

Selfish Mining Attacks Exacerbated by Elastic Hash Supply.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

Fairness in ERC Token Markets: A Case Study of CryptoKitties.

[BibT_eX]

[DOI]

Kentaro Sako

Sachin Meier

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

How to Dynamically Incentivize Sufficient Level of IoT Security.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2020

Effectiveness of Multi-stakeholder Discussions for Decentralized Finance: A Conference Report of CoDeFi 2020.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2020

Proof of No-Work: How to Incentivize Individuals to Stay at Home.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020

2017

Long-Term Public Blockchain: Resilience against Compromise of Underlying Cryptography.

[BibT_eX]

[DOI]

Masashi Sato

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

How formal analysis and verification add security to blockchain-based systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2015

A non-repudiable negotiation protocol for security service level agreements.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2015

2014

Relations among Notions of Privacy for RFID Authentication Protocols.

[BibT_eX]

[DOI]

Miyako Ohkubo

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Tailored Security: Building Nonrepudiable Security Service-Level Agreements.

[BibT_eX]

[DOI]

CoRR, 2014

A Secure Genetic Algorithm for the Subset Cover Problem and Its Application to Privacy Protection.

[BibT_eX]

[DOI]

Proceedings of the Information Security Theory and Practice. Securing the Internet of Things, 2014

Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE World Congress on Services, 2014

2013

Tailored Security: Building Nonrepudiable Security Service-Level Agreements.

[BibT_eX]

[DOI]

IEEE Veh. Technol. Mag., 2013

PUF-Based RFID Authentication Secure and Private under Complete Memory Leakage.

[BibT_eX]

[DOI]

Moti Yung

IACR Cryptol. ePrint Arch., 2013

A Forward Privacy Model for RFID Authentication Protocols.

[BibT_eX]

[DOI]

Miyako Ohkubo

Proceedings of the Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems, 2013

Toward Practical Searchable Symmetric Encryption.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information and Computer Security, 2013

Accountable security mechanism based on security service level agreement.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Risk visualization and alerting system: architecture and proof-of-concept implementation.

[BibT_eX]

[DOI]

Proceedings of the first international workshop on Security in embedded systems and smartphones, 2013

2012

Fair and Consistent Hardware Evaluation of Fourteen Round Two SHA-3 Candidates.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2012

Solving a 676-Bit Discrete Logarithm Problem in GF(36n).

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Panel Discussion: Mobile Device Trust - How Do We Link Social Needs, Technical Requirements, Techniques and Standards?

[BibT_eX]

[DOI]

Proceedings of the Trusted Systems, 4th International Conference, 2012

Enabling secure multitenancy in cloud computing: Challenges and approaches.

[BibT_eX]

[DOI]

Proceedings of the 2nd Baltic Congress on Future Internet Communications, 2012

2011

Multifactor Authenticated Key Renewal.

[BibT_eX]

[DOI]

Moti Yung

Proceedings of the Trusted Systems - Third International Conference, 2011

A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2011

2010

Robust RFID Authentication Protocol with Formal Proof and Its Feasibility.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Evaluation of Hardware Performance for the SHA-3 Candidates Using SASEBO-GII.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Solving a 676-bit Discrete Logarithm Problem in GF(36n).

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Leakage-Resilient RFID Authentication with Forward-Privacy.

[BibT_eX]

[DOI]

Proceedings of the Radio Frequency Identification: Security and Privacy Issues, 2010

Leakage Resilient Strong Key-Insulated Signatures in Public Channel.

[BibT_eX]

[DOI]

Le Trieu Phong

Moti Yung

Proceedings of the Trusted Systems - Second International Conference, 2010

Prototyping Platform for Performance Evaluation of SHA-3 Candidates.

[BibT_eX]

[DOI]

Proceedings of the HOST 2010, 2010

How to Evaluate the Security of Real-Life Cryptographic Protocols? - The Cases of ISO/IEC 29128 and CRYPTREC.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2010

2008

Classification of Hash Functions Suitable for Real-Life Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2005

Efficient Divisible Voting Scheme.

[BibT_eX]

[DOI]

Natsuki Ishida

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

On Universal Composable Security of Time-Stamping Protocols.

[BibT_eX]

[DOI]

Toshihiko Matsuo

IACR Cryptol. ePrint Arch., 2005

2003

Matching Oblivious Transfer: How to Exchange Valuable Data.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Electronic Ticket Scheme for ITS.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Divisible Voting Scheme.

[BibT_eX]

[DOI]

Natsuki Ishida

IACR Cryptol. ePrint Arch., 2003

Brief announcement: a method for exchanging valuable data: how to realize matching oblivious transfer.

[BibT_eX]

[DOI]