activity
20202026
most citedCounting Richelot isogenies between superspecial abelian surfaces

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Formal Verification of Probing Security via Conditional Independence

Satoshi Kura, Katsuyuki Takashima

Side-channel attacks are a major threat to the security of cryptosystems. Masking is a widely used countermeasure against such attacks, but proving the security of masked algorithm…

cs.IT2026

A New Approach to Code Smoothing Bounds

Tsuyoshi Miezaki, Yusaku Nishimura, Katsuyuki Takashima

Code smoothing is a phenomenon in which an error distribution makes a code statistically close to the uniform distribution over the ambient space. This closeness is measured by the…