15 citations · 59 across the 20 of their papers we have counts for
4 papers · 1 filter
Extensions of maximal symplectic actions on K3 surfaces
Simon Brandhorst, Kenji Hashimoto
We classify pairs consisting of a complex K3 surface and a finite group such that the subgroup consisting of symplectic automorphisms is a…
On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
Quantitative information flow (QIF) is traditionally defined as the expected value of information leakage over all feasible program runs and it fails to identify vulnerable program…
Quantifying Dynamic Leakage: Complexity Analysis and Model Counting-based Calculation
Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
A program is non-interferent if it leaks no secret information to an observable output. However, non-interference is too strict in many practical cases and quantitative information…
Examples of non-Kähler Calabi-Yau 3-folds with arbitrarily large
Kenji Hashimoto, Taro Sano
We construct non-Kähler simply connected Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties with trivial dualizing sheaves.