3 papers
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 tot…
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.IT2025
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…