Source author record

Masaki Yamamoto

Masaki Yamamoto appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Computational Complexity Cryptography and Security cond-mat.mtrl-sci Data Structures and Algorithms Information Theory math.IT physics.comp-ph physics.optics

Catalog footprint

What is connected

4works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Compositional Synthesis of Leakage Resilient Programs

A promising approach to defend against side channel attacks is to build programs that are leakage resilient, in a formal sense. One such formal notion of leakage resilience is the n-threshold-probing model proposed in the seminal work by Ishai et al. In a recent work, Eldib and Wang have proposed a method for automatically synthesizing programs that are leakage resilient according to this model, for the case n=1. In this paper, we show that the n-threshold-probing model of leakage resilience enjoys a certain compositionality property that can be exploited for synthesis. We use the property to design a synthesis method that efficiently synthesizes leakage-resilient programs in a compositional manner, for the general case of n > 1. We have implemented a prototype of the synthesis algorithm, and we demonstrate its effectiveness by synthesizing leakage-resilient versions of benchmarks taken from the literature.

preprint2014arXiv

Linear Programming Relaxations for Goldreich's Generators over Non-Binary Alphabets

Goldreich suggested candidates of one-way functions and pseudorandom generators included in $\mathsf{NC}^0$. It is known that randomly generated Goldreich's generator using $(r-1)$-wise independent predicates with $n$ input variables and $m=C n^{r/2}$ output variables is not pseudorandom generator with high probability for sufficiently large constant $C$. Most of the previous works assume that the alphabet is binary and use techniques available only for the binary alphabet. In this paper, we deal with non-binary generalization of Goldreich's generator and derives the tight threshold for linear programming relaxation attack using local marginal polytope for randomly generated Goldreich's generators. We assume that $u(n)\in ω(1)\cap o(n)$ input variables are known. In that case, we show that when $r\ge 3$, there is an exact threshold $μ_\mathrm{c}(k,r):=\binom{k}{r}^{-1}\frac{(r-2)^{r-2}}{r(r-1)^{r-1}}$ such that for $m=μ\frac{n^{r-1}}{u(n)^{r-2}}$, the LP relaxation can determine linearly many input variables of Goldreich's generator if $μ>μ_\mathrm{c}(k,r)$, and that the LP relaxation cannot determine $\frac1{r-2} u(n)$ input variables of Goldreich's generator if $μ<μ_\mathrm{c}(k,r)$. This paper uses characterization of LP solutions by combinatorial structures called stopping sets on a bipartite graph, which is related to a simple algorithm called peeling algorithm.

preprint2013arXiv

Single-shot 3D structure determination of nanocrystals with femtosecond X-ray free electron laser pulses

Coherent diffraction imaging (CDI) using synchrotron radiation, X-ray free electron lasers (X-FELs), high harmonic generation, soft X-ray lasers, and optical lasers has found broad applications across several disciplines. An active research direction in CDI is to determine the structure of single particles with intense, femtosecond X-FEL pulses based on diffraction-before-destruction scheme. However, single-shot 3D structure determination has not been experimentally realized yet. Here we report the first experimental demonstration of single-shot 3D structure determination of individual nanocrystals using ~10 femtosecond X-FEL pulses. Coherent diffraction patterns are collected from high-index-faceted nanocrystals, each struck by a single X-FEL pulse. Taking advantage of the symmetry of the nanocrystal, we reconstruct the 3D structure of each nanocrystal from a single-shot diffraction pattern at ~5.5 nm resolution. As symmetry exists in many nanocrystals and virus particles, this method can be applied to 3D structure studies of such particles at nanometer resolution on femtosecond time scales.

preprint2011arXiv

Derandomizing HSSW Algorithm for 3-SAT

We present a (full) derandomization of HSSW algorithm for 3-SAT, proposed by Hofmeister, Schöning, Schuler, and Watanabe in [STACS'02]. Thereby, we obtain an O(1.3303^n)-time deterministic algorithm for 3-SAT, which is currently fastest.