2 citations · 2 across the 4 of their papers we have counts for
5 papers
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…
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…
On Lattice Isomorphism Problems for Lattices from LCD Codes over Finite Rings
Yusaku Nishimura, Katsuyuki Takashima, Tsuyoshi Miezaki
These days, post-quantum cryptography based on the lattice isomorphism problem has been proposed. Ducas-Gibbons introduced the hull attack, which solves the lattice isomorphism pro…
Decomposed Richelot isogenies of Jacobian varieties of hyperelliptic curves and generalized Howe curves
Toshiyuki Katsura, Katsuyuki Takashima
We advance previous studies on decomposed Richelot isogenies (Katsura--Takashima (ANTS 2020) and Katsura (ArXiv 2021)) which are useful for analysing superspecial Richelot isogeny…
Counting Richelot isogenies between superspecial abelian surfaces
Toshiyuki Katsura, Katsuyuki Takashima
Castryck, Decru, and Smith used superspecial genus-2 curves and their Richelot isogeny graph for basing genus-2 isogeny cryptography, and recently, Costello and Smith devised an im…