Satoshi Kura
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Crypto×1
Frequent co-authors
Research Timeline
2026
Formal Verification of Probing Security via Conditional Independence
The paper proposes a novel formal verification method for proving the probing security of masked cryptosystems by connecting the noninterference property to conditional independence and utilizing probabilistic separation logic.
Highlighted terms show continued research focus across papers