@techreport{weko_234564_1, author = "小島,拓也", title = "サイドチャネル攻撃耐性の効率的な評価が可能なフレームワーク~高位合成によるAES回路の評価をケーススタディとして~", year = "2024", institution = "東京大学情報理工学系研究科", number = "20", month = "jun" }