超分散トラスト研究チーム
Continuum Computing Trustworthiness Research Team

チーム概要

超分散トラスト研究チーム

超分散トラスト研究チームでは、デジタル環境を構成する①超分散ネットワーク、②機械学習システム、③不確実性を伴うソフトウェアの信頼性を向上・評価・保証するためのソフトウェア基盤技術の研究に取り組んでいます。
CCTRT-fig-ja.jpg

① 超分散ネットワークのトラスト管理

超分散ネットワークの信頼性を向上するために、超分散ネットワークのトラスト管理技術、特にセキュリティ管理・運用技術の研究開発を行っています。

② 機械学習システムの品質管理

機械学習システムの品質管理を目的として、機械学習アルゴリズム・モデル・システムの実装を向上・評価するためのソフトウェア工学の研究に取り組んでいます。また、機械学習を利用した製品やサービスの品質目標や開発プロセスを確立するために「機械学習品質マネジメントガイドライン」を策定しています。

③ 不確実性を伴うソフトウェアのための形式手法

サイバーフィジカルシステムなどの不確実性を伴うシステムの信頼性を評価・保証するために、物理環境・確率・統計などを扱うソフトウェアのモデル化と形式検証の研究を行なっています。また、その基盤技術として、プログラミング言語や定理証明支援系の研究に取り組んでいます。

インフォメーション

発表リスト

2021-10

Locality Sensitive Hashing with Extended Differential Privacy.
Natasha Fernandes, Yusuke Kawamoto, Takao Murakami. 26th European Symposium on Research in Computer Security (ESORICS'21), 2021. PDF

2021-07

A trustful monad for axiomatic reasoning with probability and nondeterminism.
Reynald Affeldt, Jacques Garrigue, David Nowak, and Takafumi Saikawa. Journal of Functional Programming, 2021. PDF

2021-07

Formalization of the Lebesgue Measure in MathComp-Analysis.
Reynald Affeldt, Cyril Cohen. The Coq Workshop 2021. PDF

2021-07

Porting the Mathematical Components library to Hierarchy Builder.
Reynald Affeldt, Xavier Allamigeon, Yves Bertot, Quentin Canu, Cyril Cohen, Pierre Roux, Kazuhiko Sakaguchi, Enrico Tassi, Laurent Théry, Anton Trunov. The Coq Workshop 2021. PDF

2021-07

TransMIA: Membership Inference Attacks Using Transfer Shadow Training.
Seira Hidano, Takao Murakami, Yusuke Kawamoto. International Joint Conference on Neural Network (IJCNN'21), 2021. PDF

一覧を表示する

研究者紹介

アフェルト レナルド
主任研究員

アフェルト レナルド

Reynald Affeldt
形式検証,プログラミング言語
reynald.affeldt あっと aist.go.jp
staff.aist.go.jp/reynald.affeldt/
秋田 修孝
特定集中研究専門員

秋田 修孝

Michitaka Akita
ソフトウェア品質,スクラム開発
m-akita あっと aist.go.jp
仲 強
特定集中研究専門員

仲 強

Kyou Chuu
機械学習,データサイエンス
chuu-kyo あっと aist.go.jp
岩瀬 優太
特定集中研究専門員

岩瀬 優太

Yuuta Iwase
データサイエンス,複雑ネットワーク, データエンジニアリング
iwase.yuta あっと aist.go.jp
https://yuta-iwase.github.io/
川本 裕輔
主任研究員

川本 裕輔

Yusuke Kawamoto
形式手法,確率的システム,情報セキュリティ
staff.aist.go.jp/yusuke.kawamoto/
北村 崇師
主任研究員

北村 崇師

Takashi Kitamura
ソフトウェアテスト, 形式手法, ソフトウェア工学
t.kitamura あっと aist.go.jp
staff.aist.go.jp/t.kitamura/
小西 弘一
招聘研究員

小西 弘一

Koichi Konishi
三宅 和公
特定集中研究専門員

三宅 和公

Kazumasa Miyake
AIとセキュリティ,機械学習品質マネジメント,ネットワーク
miyake-kazumasa あっと aist.go.jp
ダニエル ペレス モラレス
リサーチアシスタント

ダニエル ペレス モラレス

Daniel Perez Morales
daniel.morales あっと aist.go.jp
中川 尊雄
特定集中研究専門員

中川 尊雄

Takao Nakagawa
中島 震
招聘研究員

中島 震

Shin Nakajima
ソフトウェア工学,機械学習品質,イノベーションマネジメント
nakajima-shin あっと aist.go.jp
researchmap.jp/nkjm/
難波 孝彰
特定集中研究専門員

難波 孝彰

Takaaki Nanba
成田 顕一郎
特定集中研究専門員

成田 顕一郎

Ken'ichirou Narita
西田 啓一
特定集中研究専門員

西田 啓一

Keiichi Nishida
大岩 寛
研究チーム長

大岩 寛

Yutaka Oiwa
セキュリティ,ソフトウェアアーキテクチャ,ネットワーク
y.oiwa あっと aist.go.jp
staff.aist.go.jp/y.oiwa/
岡本 球夫
特定集中研究専門員

岡本 球夫

Tamao Okamoto
大川 佳寛
特定集中研究専門員

大川 佳寛

Yoshihiro Okawa
オウヤン ティンホイ
研究員

オウヤン ティンホイ

Tinghui Ouyang
機械学習,AI品質保証,異常検知
ouyang.tinghui あっと aist.go.jp
高木 浩光
主任研究員

高木 浩光

Hiromitsu Takagi
田中 哲
主任研究員

田中 哲

Akira Tanaka
プログラミング言語,形式手法,検証
tanaka-akira あっと aist.go.jp
staff.aist.go.jp/tanaka-akira/