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)
Obfuscation is one of the most intriguing open problems in cryptography and only a few positive results are known. In TCC'07, Ho-henberger 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)
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)
Enterprises collect large amounts of personal data from their customers. To ease privacy concerns, enterprises publish privacy statements that outline how data is used and shared. The Platform for Enterprise Privacy Practices (E-P3P) defines a fine-grained privacy policy model. A Chief Privacy Officer can use E-P3P to formalize the desired(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 obfus-cators. A code(More)
The notion of correlation intractability was introduced in an attempt to capture the " un-predictability " 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(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)
In this study, we examined a pediatric case of therapy-related myelodysplastic syndrome (tMDS). The symptoms developed 17 months after treatment for acute myeloblastic leukemia (AML, M2 subtype according to the French-American-British [FAB] classification) involving a chromosome abnormality at t(8;21)(q22;q22). Upon diagnosis of tMDS, spectral karyotyping(More)