VLDB 2026 Research / reviewers in the wild / expert
Kanta Matsuura
dblp:43/2398
· DBLP profile ↗
39ranked-venue papers
1as first author
10since 2021 · last 2026
0009-0005-0348-026XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 32 · 1 first-author · 8 since 2021Theory of computation · 4Software engineering, systems software and programming languages · 3 · 3 since 2021Computer networks · 2 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 since 2021Systems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Condition-Triggered Verifiable Credential With Notary-Controlled Message Appending
Iifan Tyou, Kanta Matsuura |
COMPSAC | 2 |
| 2026 | Formal Security Analysis of SATP and Its Enhancement for Untrusted Gateways
Iifan Tyou, Kanta Matsuura |
ICBC | 2 |
| 2026 | Revisiting Security Definitions of Sender-Anamorphic Encryption
Yuichi Tanishita, Takahiro Matsuda 0002, Kanta Matsuura |
PKC (4) | 3 |
| 2025 | Interoperability between Permissioned Distributed Ledgers without External Trust Anchor
Iifan Tyou, Ryuya Hayashi, Kanta Matsuura |
ICBC | 3 |
| 2024 | On the Implications from Updatable Encryption to Public-Key Cryptographic Primitives
Yuichi Tanishita, Ryuya Hayashi, Ryu Ishii, Takahiro Matsuda 0002, Kanta Matsuura |
ACISP (1) | 5 |
| 2024 | Updatable Encryption Secure Against Randomness Compromise
Yuichi Tanishita, Ryuya Hayashi, Ryu Ishii, Takahiro Matsuda 0002, Kanta Matsuura |
CANS (2) | 5 |
| 2023 | Signature for Objects: Formalizing How to Authenticate Physical Data and More
Ryuya Hayashi, Taiki Asano, Junichiro Hayata, Takahiro Matsuda 0002, Shota Yamada 0001, Shuichi Katsumata, Yusuke Sakai 0001, Tadanori Teruya, Jacob C. N. Schuldt, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto |
FC (1) | 12 |
| 2023 | A Realtime IoT Malware Classification System Based on Pending SamplesabstractWith the rapid growth of the Internet of Things (IoT) devices, a lot of IoT malware has been created, and the security against IoT malware, especially the family classification, has become a more important issue. There exist three requirements which classification systems must achieve: detection of new families, precise classification for sequential inputs, and being independent of computer architectures. However, existing methods do not satisfy them simultaneously. In this paper, we propose a realtime IoT malware classification system based on pending samples. In order to detect new families and to classify sequential inputs precisely, we introduce the concept of “pending samples”. This concept is useful when heterogeneous inputs which are difficult to classify instantly come into the system. This is because the system can postpone classifying them until similar samples come. Once similar samples are gathered, we regard these samples as a new cluster, meaning that detecting new families is achieved. Moreover, we use printable strings to satisfy the requirement of being independent of architectures because strings are common among different architectures. Our results show the ability to detect new families demonstrated by finding new clusters after applying our algorithm to the initial clusters. Furthermore, our new clustering algorithms achieves a 0.130 higher V-measure compared to the k-means algorithm, which is the representative clustering algorithm. Taichi Igarashi, Hiroya Kato, Iwao Sasase, Kanta Matsuura |
ICC | 4 |
| 2022 | Efficient Oblivious Evaluation Protocol and Conditional Disclosure of Secrets for DFA
Kittiphop Phalakarn, Nuttapong Attrapadung, Kanta Matsuura |
ACNS | 3 |
| 2022 | Script Tainting Was Doomed From The Start (By Type Conversion): Converting Script Engines into Dynamic Taint Analysis FrameworksabstractData flow analysis is an essential technique for understanding the complicated behavior of malicious scripts. For tracking the data flow in scripts, dynamic taint analysis has been widely adopted by existing studies. However, the existing taint analysis techniques have a problem that each script engine needs to be separately designed and implemented. Given the diversity of script languages that attackers can choose for their malicious scripts, it is unrealistic to prepare taint analysis tools for the various script languages and engines. Toshinori Usui, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Kanta Matsuura |
RAID | 5 |
| 2020 | On Private Information Retrieval Supporting Range Queries
Junichiro Hayata, Jacob C. N. Schuldt, Goichiro Hanaoka, Kanta Matsuura |
ESORICS (2) | 4 |
| 2019 | My script engines know what you did in the dark: converting engines into script API tracersabstractMalicious scripts have been crucial attack vectors in recent attacks such as malware spam (malspam) and fileless malware. Since malicious scripts are generally obfuscated, statically analyzing them is difficult due to reflections. Therefore, dynamic analysis, which is not affected by obfuscation, is used for malicious script analysis. However, despite its wide adoption, some problems remain unsolved. Current designs of script analysis tools do not fulfill the following three requirements important for malicious script analysis. (1) Universally applicable to various script languages, (2) capable of outputting analysis logs that can precisely recover the behavior of malicious scripts, and (3) applicable to proprietary script engines. Toshinori Usui, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Jun Miyoshi, Kanta Matsuura |
ACSAC | 6 |
| 2018 | Identity-Based Encryption Resilient to Auxiliary Leakage under the Decisional Linear Assumption
Masahito Ishizaka, Kanta Matsuura |
CANS | 2 |
| 2018 | Generic Construction of Adaptively Secure Anonymous Key-Policy Attribute-Based Encryption from Public-Key Searchable EncryptionabstractPublic-key encryption with keyword search (PEKS) is a cryptographic primitive that allows us to search encrypted data for those of including particular keywords without decrypting them. PEKS is expected to be used for enhancing security of cloud storages. It is known that PEKS can be constructed from anonymous identity-based encryption (IBE), anonymous attribute-based encryption (ABE) and so on. It is believed that it is difficult to construct PEKS schemes that can specify a flexible search condition such as logical disjunctions and logical conjunctions from weaker cryptographic tools than ABE. However, this intuition has not been rigorously justified. In this paper, we formally prove it by constructing key-policy ABE from PEKS for monotone boolean formulas. Junichiro Hayata, Masahito Ishizaka, Yusuke Sakai 0001, Goichiro Hanaoka, Kanta Matsuura |
ISITA | 5 |
| 2018 | Strongly Unforgeable Signature Resilient to Polynomially Hard-to-Invert Leakage Under Standard Assumptions
Masahito Ishizaka, Kanta Matsuura |
ISC | 2 |
| 2016 | ZeTA-Zero-Trust Authentication: Relying on Innate Human Ability, Not TechnologyabstractReliable authentication requires the devices and channels involved in the process to be trustworthy, otherwise authentication secrets can easily be compromised. Given the unceasing efforts of attackers worldwide such trustworthiness is increasingly not a given. A variety of technical solutions, such as utilising multiple devices/channels and verification protocols, has the potential to mitigate the threat of untrusted communications to a certain extent. Yet such technical solutions make two assumptions: (1) users have access to multiple devices and (2) attackers will not resort to hacking the human, using social engineering techniques. In this paper, we propose and explore the potential of using human-based computation instead of solely technical solutions to mitigate the threat of untrusted devices and channels. ZeTA (Zero Trust Authentication on untrusted channels) has the potential to allow people to authenticate despite compromised channels or communications and easily observed usage. Our contributions are threefold: (1) We propose the ZeTA protocol with a formal definition and security analysis that utilises semantics and human-based computation to ameliorate the problem of untrusted devices and channels. (2) We outline a security analysis to assess the envisaged performance of the proposed authentication protocol. (3) We report on a usability study that explores the viability of relying on human computation in this context. Andreas Gutmann, Karen Renaud, Joseph Maguire 0001, Peter Mayer 0001, Melanie Volkamer, Kanta Matsuura, Jörn Müller-Quade |
EuroS&P | 6 |
| 2016 | Proxy re-encryption via indistinguishability obfuscationabstractAbstract In this paper, we present a proxy re‐encryption (PRE) scheme via an indistinguishability obfuscation ( ) by adding two algorithms to the public key encryption scheme by Sahai and Waters' (STOC 2014). Although a re‐encryption function from one public key to another can be considered as a randomized functionality on the underlying plaintext and that functionality can be achieved by using a probabilistic by Canettiet al.(TCC2015), we need a sub‐exponential to construct the probabilistic . In our construction, we need not the probabilistic but the standard . In addition, our proposed PRE scheme has some good properties. That is, unidirectional re‐encryption, unbounded multi‐hop re‐encryption, constant‐size ciphertext, and fast decryption. To the best of our knowledge, this is the first construction of a multi‐hop and unidirectional PRE scheme. Copyright © 2016 John Wiley & Sons, Ltd. Satsuya Ohata, Kanta Matsuura |
Secur. Commun. Networks | 2 |
| 2015 | Re-Encryption Verifiability: How to Detect Malicious Activities of a Proxy in Proxy Re-Encryption
Satsuya Ohata, Yutaka Kawai, Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura |
CT-RSA | 5 |
| 2014 | Security of a Privacy-Preserving Biometric Authentication Protocol Revisited
Aysajan Abidin, Kanta Matsuura, Aikaterini Mitrokotsa |
CANS | 2 |
| 2014 | Guest Editorial: Cloud SecurityabstractC LOUD computing is the future but it will not be if users' security concerns remain unaddressed.Cloud security issues include data privacy, data integrity, and service availability, among others.Due to the extra computing involved, security controls often incur a certain amount of performance degradation in cloud computing where performance is crucial and its computation and communication complexities are already high.This poses challenges to system developers with regards to preventing privacy leaks, performing data auditing, and guaranteeing high availability in the face of various security attacks.On the other hand, should the task of addressing these security issues be solely placed on the shoulders of the cloud service providers, or indeed should both the service providers and the service users be responsible for this task?A number of studies have been carried out that investigate the fundamental properties of cloud security issues, including data auditing, searchable data encryption, hypervisor protection, cloud forensics, and disaster recovery, to name but a few.In fact, cloud security is driving how we define and develop cloud computing solutions.The objective of this special issue is to provide a forum for researchers working on cloud security to present their recent research results.This special issue attracted 58 submissions of high quality research from around the world.Through a rigorous review process, the following 10 papers were selected for publication.These papers present results of analysis, experimentation, simulation, advanced theories, and system implementation.More specifically, they cover the topics of Operating System (OS) Fingerprinting, Side-Channel Attacks, Attribute-Based Signatures (ABSs), Fuzzy Authorization for Cloud Storage, Secure Software-Defined Network (SDN) Architecture for Cloud, Self-Destructing Data, Secure Group Data Sharing, Data Access Control for Peer-to-Peer Storage Cloud, SQL Operations on Encrypted Data, and Linear Regression David S. L. Wei, Siani Pearson, Kanta Matsuura, Patrick P. C. Lee, Sagar Naik |
IEEE Trans. Cloud Comput. | 3 |
| 2014 | Toward Optimal Fusion Algorithms With Security Against Wolves and Lambs in BiometricsabstractIt is known that different users have different degrees of accuracy in biometric authentication, and claimants and enrollees who cause false accepts against many others are referred to as wolves and lambs, respectively. The aim of this paper is to develop a fusion algorithm, which has security against both of the animals while minimizing the number of query samples a genuine claimant has to input. To achieve our aim, we first introduce a taxonomy of wolves and lambs, and propose a minimum log-likelihood ratio-based sequential fusion scheme (MLR scheme). We prove that this scheme keeps wolf attack probability and lamb accept probability, the maximum of the claimant-specific false accept probability (FAP), and the enrollee-specific FAP, less than a desired value if log-likelihood ratios are perfectly estimated, except in the case of adaptive spoofing wolves. We also prove that this scheme is optimal with regard to false reject probability (FRP), and asymptotically optimal with respect to the average number of inputs (ANIs) under some conditions. We further propose an input order decision scheme based on the Kullback-Leibler (KL) divergence, which maximizes the expectation of a genuine log-likelihood ratio, to further reduce ANI of the MLR scheme in the case where the KL divergence differs from one modality to another. The results of the experimental evaluation using a virtual multimodal (one face and eight fingerprints) data set showed the effectiveness of our schemes. Takao Murakami, Kenta Takahashi, Kanta Matsuura |
IEEE Trans. Inf. Forensics Secur. | 3 |
| 2013 | Construction of even-variable rotation symmetric Boolean functions with maximum algebraic immunity
Shaojing Fu, Chao Li 0002, Kanta Matsuura, Longjiang Qu |
Sci. China Inf. Sci. | 3 |
| 2012 | Construction of highly nonlinear resilient S-boxes with given degree
Shaojing Fu, Kanta Matsuura, Chao Li 0002, Longjiang Qu |
Des. Codes Cryptogr. | 2 |
| 2011 | Efficient Generic Constructions of Signcryption with Insider Security in the Multi-user Setting
Daiki Chiba 0002, Takahiro Matsuda 0002, Jacob C. N. Schuldt, Kanta Matsuura |
ACNS | 4 |
| 2011 | On Black-Box Separations among Injective One-Way Functions
Takahiro Matsuda 0002, Kanta Matsuura |
TCC | 2 |
| 2010 | An Efficient Convertible Undeniable Signature Scheme with Delegatable Verification
Jacob C. N. Schuldt, Kanta Matsuura |
ISPEC | 2 |
| 2010 | Efficient Generic Constructions of Timed-Release Encryption with Pre-open Capability
Takahiro Matsuda 0002, Yasumasa Nakai, Kanta Matsuura |
Pairing | 3 |
| 2010 | Evaluation of the Common Dataset Used in Anti-Malware Engineering Workshop 2009
Hosoi Takurou, Kanta Matsuura |
RAID | 2 |
| 2010 | Enumeration of balanced symmetric functions over GF(p)
Shaojing Fu, Chao Li 0002, Kanta Matsuura, Longjiang Qu |
Inf. Process. Lett. | 3 |
| 2009 | Construction of Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity
Shaojing Fu, Chao Li 0002, Kanta Matsuura, Longjiang Qu |
CANS | 3 |
| 2009 | An Efficient Encapsulation Scheme from Near Collision Resistant Pseudorandom Generators and Its Application to IBE-to-PKE Transformations
Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai |
CT-RSA | 3 |
| 2009 | Fingerprinting Attack on the Tor Anonymity System
Kanta Matsuura |
ICICS | 2 |
| 2009 | Generic Construction of Stateful Identity Based Encryption
Peng Yang 0002, Rui Zhang 0002, Kanta Matsuura, Hideki Imai |
ISC | 3 |
| 2007 | A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function
Takahiro Matsuda 0002, Nuttapong Attrapadung, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai |
ProvSec | 4 |
| 2006 | Generic Transforms to Acquire CCA-Security for Identity Based Encryption: The Cases of FOpkc and REACT
Takashi Kitagawa, Peng Yang 0002, Goichiro Hanaoka, Rui Zhang 0002, Hajime Watanabe, Kanta Matsuura, Hideki Imai |
ACISP | 6 |
| 2006 | Relations Among Notions of Security for Identity Based Encryption Schemes
Nuttapong Attrapadung, Yang Cui 0001, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang 0002, Rui Zhang 0002 |
LATIN | 7 |
| 2005 | Enhancing wireless location privacy using silent periodabstractThe advance of ISM-band radio-based tracking systems (for example, wireless LAN-based tracking system) extends the application of location-based services (LBS), but it also threatens to allow the movement of users to be tracked when they are transmitting frames. Several protection methods based on periodic address updates have already been proposed. However, new correlation attacks, which utilize the correlation between the old and new addresses of the same node, can defeat current protection methods. To combat such attacks, we propose the concept of a silent period. A silent period is defined as a transition period between the use of new and old pseudonyms, when a node is not allowed to disclose either the old or the new address. Through analysis, we find that a silent period should contain a constant period and a variable period. The effect of the constant period is to mix the spatial relation between the node's disappearing points and emerging points. The variable period mixes the temporal relation between the node's disappearing times and emerging times. We evaluate the performance of the silent period through simulation. The results show that the silent period proposal significantly reduces the duration of time a node can be tracked continuously. There are still many open research problems before random address can be implemented to protect wireless location privacy, but silent period protocol is the first step to realizing it. Leping Huang, Kanta Matsuura, Hiroshi Yamane, Kaoru Sezaki |
WCNC | 2 |
| 2001 | A Derivative of Digital Objects and Estimation of Default Risks in Electronic Commerce
Kanta Matsuura |
ICICS | 1 |
| 1999 | Enhancing the Resistence of a Provably Secure Key Agreement Protocol to a Denial-of-Service Attack
Shoichi Hirose, Kanta Matsuura |
ICICS | 2 |