Takuya Hayashi 0001

dblp:76/8178-1 · DBLP profile ↗
← Back
16ranked-venue papers
1as first author
2since 2021 · last 2024
0000-0001-5869-2319ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 15 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1Theory of computation · 1
YearPublicationVenuePosition
2024 Multi-key Homomorphic Encryption with Threshold Re-encryption
Akira Nakashima, Yukimasa Sugizaki, Hikaru Tsuchida 0001, Takuya Hayashi 0001, Koji Nuida, Kengo Mori, Toshiyuki Isshiki
SAC (1)4
2023 Threshold Fully Homomorphic Encryption Over the Torus
Yukimasa Sugizaki, Hikaru Tsuchida 0001, Takuya Hayashi 0001, Koji Nuida, Akira Nakashima, Toshiyuki Isshiki, Kengo Mori
ESORICS (1)3
2020 Galaxy: A Family of Stream-Cipher-Based Space-Hard Ciphers
Yuji Koike, Kosei Sakamoto, Takuya Hayashi 0001, Takanori Isobe 0001
ACISP3
2020 Group Signatures with Time-Bound Keys Revisited: A New Model, an Efficient Construction, and its Implementation
abstract
Chu et al. (ASIACCS 2012) proposed group signature with time-bound keys (GS-TBK), where each signing key is associated with expiry time τ. In addition, to prove membership of the group, a signer needs to prove that the expiry time has not passed, i.e., t <; τ, where t is the current time. A signer whose expiry time has passed is automatically revoked, and this revocation is called natural revocation. Signers can be revoked simultaneously before their expiry times if the credential is compromised. This revocation is called premature revocation. A nice property in the Chu et al. proposal is that the size of revocation lists can be reduced compared to those of Verifier-Local Revocation (VLR) group signature schemes by assuming that natural revocation accounts for most of the signer revocations in practice, and prematurely revoked signers are only a small fraction. In this paper, we point out that the definition of traceability of Chu et al. did not capture the unforgeability of expiry time for signing keys, which guarantees that no adversary who has a signing key associated with expiry time τ can compute a valid signature after τ has passed. This situation significantly reduces the dependability of the system since legitimate signing keys may be used for providing a forged signature. We introduce a security model that captures unforgeability, and propose a secure GS-TBK scheme in the new model. Our scheme also provides constant signing costs, whereas those of the previous schemes depended on the bit-length of the time representation. Finally, we provide the implementation results. We employ Barreto-Lynn-Scott (BLS) curves with 455-bit prime order and the RELIC library, and demonstrate that our scheme is feasible in practical settings.
Keita Emura, Takuya Hayashi 0001, Ai Ishida
IEEE Trans. Dependable Secur. Comput.2
2018 Privacy-Preserving Naive Bayes Classification Using Fully Homomorphic Encryption
Masahiro Omori, Takuya Hayashi 0001, Toshiaki Omori, Lihua Wang 0001, Seiichi Ozawa
ICONIP (4)3
2018 A Revocable Group Signature Scheme with Scalability from Simple Assumptions and Its Implementation
Keita Emura, Takuya Hayashi 0001
ISC2
2018 Privacy-Preserving Deep Learning via Additively Homomorphic Encryption
abstract
We present a privacy-preserving deep learning system in which many learning participants perform neural network-based deep learning over a combined dataset of all, without revealing the participants' local data to a central server. To that end, we revisit the previous work by Shokri and Shmatikov (ACM CCS 2015) and show that, with their method, local data information may be leaked to an honest-but-curious server. We then fix that problem by building an enhanced system with the following properties: 1) no information is leaked to the server and 2) accuracy is kept intact, compared with that of the ordinary deep learning system also over the combined dataset. Our system bridges deep learning and cryptography: we utilize asynchronous stochastic gradient descent as applied to neural networks, in combination with additively homomorphic encryption. We show that our usage of encryption adds tolerable overhead to the ordinary deep learning system.
Le Trieu Phong, Yoshinori Aono, Takuya Hayashi 0001, Lihua Wang 0001, Shiho Moriai
IEEE Trans. Inf. Forensics Secur.3
2017 Group Signatures with Time-bound Keys Revisited: A New Model and an Efficient Construction
abstract
Chu et al. (ASIACCS 2012) proposed group signature with time-bound keys (GS-TBK) where each signing key is associated to an expiry time τ. In addition to prove the membership of the group, a signer needs to prove that the expiry time has not passed, i.e., t<τ where t is the current time. A signer whose expiry time has passed is automatically revoked, and this revocation is called natural revocation. Simultaneously, signers can be revoked before their expiry times have passed due to the compromise of the credential. This revocation is called premature revocation. A nice property of the Chu et al. proposal is that the size of revocation lists can be reduced compared to those of Verifier-Local Revocation (VLR) group signature schemes, by assuming that natural revocation accounts for most of signer revocations in practice, and prematurely revoked signers are only a small fraction. In this paper, we point out that the definition of traceability of Chu et al. did not capture unforgeability of expiry time of signing keys which guarantees that no adversary who has a signing key associated to an expiry time τ can compute a valid signature after τ has passed. We introduce a security model that captures unforgeability, and propose a GS-TBK scheme secure in the new model. Our scheme also provides the constant signing costs whereas those of the previous schemes depend on the bit-length of the time representation. Finally, we give implementation results, and show that our scheme is feasible in practical settings.
Keita Emura, Takuya Hayashi 0001, Ai Ishida
AsiaCCS2
2017 Mis-operation Resistant Searchable Homomorphic Encryption
abstract
Let us consider a scenario that a data holder (e.g., a hospital) encrypts a data (e.g., a medical record) which relates a keyword (e.g., a disease name), and sends its ciphertext to a server. We here suppose not only the data but also the keyword should be kept private. A receiver sends a query to the server (e.g., average of body weights of cancer patients). Then, the server performs the homomorphic operation to the ciphertexts of the corresponding medical records, and returns the resultant ciphertext. In this scenario, the server should NOT be allowed to perform the homomorphic operation against ciphertexts associated with different keywords. If such a mis-operation happens, then medical records of different diseases are unexpectedly mixed. However, in the conventional homomorphic encryption, there is no way to prevent such an unexpected homomorphic operation, and this fact may become visible after decrypting a ciphertext, or as the most serious case it might be never detected. To circumvent this problem, in this paper, we propose mis-operation resistant homomorphic encryption, where even if one performs the homomorphic operations against ciphertexts associated with keywords ω' and ω, where ω -ω', the evaluation algorithm detects this fact. Moreover, even if one (intentionally or accidentally) performs the homomorphic operations against such ciphertexts, a ciphertext associated with a random keyword is generated, and the decryption algorithm rejects it. So, the receiver can recognize such a mis-operation happens in the evaluation phase. In addition to mis-operation resistance, we additionally adopt secure search functionality for keywords since it is desirable when one would like to delegate homomorphic operations to a third party. So, we call the proposed primitive mis-operation resistant searchable homomorphic encryption (MR-SHE). We also give our implementation result of inner products of encrypted vectors. In the case when both vectors are encrypted, the running time of the receiver is millisecond order for relatively small-dimensional (e.g., 26) vectors. In the case when one vector is encrypted, the running time of the receiver is approximately 5 msec even for relatively high-dimensional (e.g., 213) vectors.
Keita Emura, Takuya Hayashi 0001, Noboru Kunihiro, Jun Sakuma
AsiaCCS2
2017 A Generic yet Efficient Method for Secure Inner Product
Lihua Wang 0001, Takuya Hayashi 0001, Yoshinori Aono, Le Trieu Phong
NSS2
2016 Scalable and Secure Logistic Regression via Homomorphic Encryption
abstract
Logistic regression is a powerful machine learning tool to classify data. When dealing with sensitive data such as private or medical information, cares are necessary. In this paper, we propose a secure system for protecting the training data in logistic regression via homomorphic encryption. Perhaps surprisingly, despite the non-polynomial tasks of training in logistic regression, we show that only additively homomorphic encryption is needed to build our system. Our system is secure and scalable with the dataset size.
Yoshinori Aono, Takuya Hayashi 0001, Le Trieu Phong, Lihua Wang 0001
CODASPY2
2016 Improved Progressive BKZ Algorithms and Their Precise Cost Estimation by Sharp Simulator
Yoshinori Aono, Yuntao Wang 0002, Takuya Hayashi 0001, Tsuyoshi Takagi
EUROCRYPT (1)3
2016 Toward securing tire pressure monitoring systems: A case of PRESENT-based implementation
Keita Emura, Takuya Hayashi 0001, Shiho Moriai
ISITA2
2015 POSTER: PRINCESS: A Secure Cloud File Storage System for Managing Data with Hierarchical Levels of Sensitivity
abstract
PRINCESS (Proxy Re-encryption with INd-Cca security in an Encrypted file Storage System) is a secure storage system which utilizes special proxy re-encryption technology. With PRINCESS, the files encrypted in accordance with the confidentiality levels can be shared among appointed users while remaining encrypted. In this poster/demo, we show the efficiency of PRINCESS, which can be applied to a Body Area Network information sharing, automobile information sharing, etc. This system facilitates the potential for new services that require privacy data to be shared securely via cloud technology.
Lihua Wang 0001, Takuya Hayashi 0001, Sachiko Kanamori, Atsushi Waseda, Ryo Nojima, Shiho Moriai
CCS2
2012 Breaking Pairing-Based Cryptosystems Using η T Pairing over GF(397)
Takuya Hayashi 0001, Takeshi Shimoyama, Naoyuki Shinohara, Tsuyoshi Takagi
ASIACRYPT1
2012 Key Length Estimation of Pairing-Based Cryptosystems Using η T Pairing
Naoyuki Shinohara, Takeshi Shimoyama, Takuya Hayashi 0001, Tsuyoshi Takagi
ISPEC3