Satoshi Hada

Learn More
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encoding format for Web applications, safeguarding the accuracy of the information represented in XML documents will be indispensable. In this paper, we propose a provisional(More)
Access control policies for XML typically use regular path expressions such as XPath for specifying the objects for access-control policies. However such access-control policies are burdens to the query engines for XML documents. To relieve this burden, we introduce static analysis for XML access-control. Given an access-control policy, query expression,(More)
Obfuscation is one of the most intriguing open problems in cryptography and only a few positive results are known. In TCC’07, Hohenberger et al. proposed an obfuscator for a re-encryption functionality, which takes a ciphertext for a message encrypted under Alice’s public key and transforms it into a ciphertext for the same message under Bob’s public key(More)
The notion of correlation intractability was introduced in an attempt to capture the “unpredictability” property of random oracles: It is assumed that if R is a random oracle then it is infeasible to find an input x such that the input-output pair (x,R(x)) has some desired property. It is desirable that a plausible construction of correlation intractable(More)
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not there exists a protocol which achieves AIZK, but not BSZK. We show that the existence of such a protocol is closely related to the existence of secure code obfuscators. A code(More)
We have developed spectral color banding (SCAN) as a new chromosome banding technique based on spectral analysis of differentially labeled chromosome band-specific painting probes. In this study, we succeeded in displaying a multicolor banding pattern for chromosome 3, which was almost identical to the pattern obtained with the corresponding G-banding. We(More)
Rhabdomyosarcoma is the most common soft tissue tumor seen in children and young adults, and it can be classified into 2 major histological subtypes, alveolar and embryonal. In the alveolar subtype, 2 recurrent chromosomal translocations, t(2;13)(q35;q14) and its variant t(1;13)(p36;q14), have been identified as the specific cytogenetic abnormalities. These(More)