領域の概要は領域HPをご覧ください。

イベント

3月15日(土) 10:00-12:00：情報処理学会第87回全国大会にて、イベント企画セッションを開催します。 New!

活動報告

2024年3月16日(土)9:30-11:30：情報処理学会第86回全国大会にて、イベント企画セッションを開催しました。

2023年3月2日(木)9:30-11:30：情報処理学会第85回全国大会にて、イベント企画セッションを開催しました。

研究チーム紹介

2023年度採択
研究課題名：次世代車載基盤システムのための形式手法と検証ツールの創出
青木チームHP

研究課題名：Trustworthy IoTシステム設計基盤の構築
原チームHP

研究課題名：超分散小型IoTエッジノードのための自己進化型リアルタイム学習基盤
松原チームHP

研究課題名：AI駆動型サイバーフィジカルシステムのセキュリティ評価・対策基盤
森チームHP

2022年度採択
研究課題名：ステナブルな分散型秘密計算基盤
アッタラパドゥン チームHP

研究課題名：検証可能なデータエコシステム
天笠チームHP

研究課題名：隔離実行と形式検証による総合的セキュリティ基盤システム
品川チームHP

研究課題名：多様な形態の現実を安心・安全に創り・繋ぐTrusted Inter-Reality基盤
米澤チームHP

2021年度採択
研究課題名：安全性と有用性の保証のあるヘルスケア匿名コホート基盤
菊池チームHP

研究課題名：実応用に即したプライバシー保護解析とセキュアデータ基盤
田浦チームHP

研究課題名：形式検証とシステムソフトウェアの協働によるゼロトラストIoT
竹房チームHP

研究課題名：プライバシセントリック情報処理基盤
廣津チームHP

研究課題名：地域を支える知のデジタライゼーションと共有基盤
山口チームHP