Katsuyuki Takashima
Identifiers
- name variant Katsuyuki Takashima 0.60 · backfill
Papers (1)
- Formal Verification of Probing Security via Conditional Independence cs.LO · 2026 · author #2
Mentions
- 2605.23316 #2 · arxiv_oai · confidence 0.70 Katsuyuki Takashima
Frequent Coauthors
- Satoshi Kura 1 shared papers