@techreport{weko_197522_1, author = "有馬,裕一朗 and 坂井,修一 and 入江,英嗣", title = "OpenRISCにおけるセキュアコンテクストスイッチの実装", year = "2019", institution = "東京大学, 東京大学, 東京大学", number = "16", month = "jun" }