須崎研究室

(システムソフトウェアとハードウェアのセキュリティ)

News

寄稿したシステム制御情報学会「システム／制御／情報68巻(2024)5号」の解説「IoTデバイスにおけるTEE (Trusted Execution Environment) の実装」PDFがダウンロード可能になりました。Arm Cortex-A, Cortex-MのTrustZoneやRISC-VのMultiZoneなどの他にRemote AttestationやHardware Root of Trustも解説しています。
2024年度10月入学でD1 武藤健一郎、M1 惣島雅樹、加藤寛章が加わりました。
RISC-V Summit China 2024 (August/21-23 @杭州) においてM2陳拓君が"A Study on Transient Execution Vulnerabilities of RISC-V Implementations"の発表をします。
RISC-V Days Tokyo Summer 2024 (August/1) において"TS-Perf: Performance measuring method in the TEE (Trusted Execution Environment) of various CPUs"の発表をしました。
JST CRESTのZeroTrust IoTの成果としてArm Cortex-A TrustZone用OSであるOP-TEEとVeraisonを使ったリモートアテステーションを公開しました。
OP-TEE Remote Attestation with VERAISON Verification
Docker とQEMUを使っているのでPCで試せます。Raspberry Pi 3B+でも確認済みです。リモートアテステーション教材としてつかえるようにしたいと考えています。
SysTEX2024 (7th Workshop on System Software for Trusted Execution) co-located with IEEE Euro S&P'24 "Delegating Verification for Remote Attestation using TEE"が採択されました。筑波大学の矢川さん、阿部先生、産総研のさんの連名論文です。
システム制御情報学会誌「システム／制御／情報」68(5)に「IoTデバイスにおけるTEE(Trusted Execution Environment)の実装」の寄稿しました。
DIMVA (Conference on Detection of Intrusions and Malware & Vulnerability Assessment)2024 "SmmPack: Obfuscation for SMM Modules with TPM Sealed Key"が採択されました。早稲田の松尾さん、森先生、NTTの川古谷さん、Satoshi's Systemの丹田さんとの連名論文です。
2024年度はM2 齋藤太新、陳拓、澤豊文、M1 須田光、市川正美、曵地真理でスタートしました。
システム制御情報学会誌「システム／制御／情報」 67(9)に掲載された「RISC-V におけるプロセッサセキュリティ機構とシステムアーキテクチャ—TEE (Trusted Execution Environment), Hardware Root of Trust, Remote Attestation」がJStageよりPDFダウンロード可能になりました。
ITS研究フォーラム2024で「船舶へのGPSスプーフィング攻撃に対するレスポンスチャートの提案」のポスター発表をしました。
IEEE ACCESSに論文TEE-PA: TEE Is a Cornerstone for Remote Provenance Auditing on Edge Devices With Semi-TCB が採択されました。
古い記事

Reseach Topic

CREST Project Zero-Trust IoT
TEE: Trusted Execution Environment
RISC-V
Confidential Computing
Root of Trust (TPM: Trusted Platform Module, SE: Secure Element) 須崎は2019よりTCG Invited Expertです。
上記以外でもシステムソフトウェア(OS,ハイパーバイザー)セキュリティやハードウェアセキュリティの研究を広く行っています

指導教員

須崎有康　
コンタクト