Continuum Computing Trustworthiness Research Team

Team Outline

Continuum Computing Trustworthiness Research Team

We are conducting research on software science and technology to improve, evaluate, and certify the trustworthiness of continuum digital environments, with a particular focus on (1) continuum networks, (2) machine learning systems, and (3) software systems with uncertainty. CCTRT-fig-en.jpg

1. Trust management of continuum networks

Our first focus is to improve the trustworthiness of continuum networks. We develop methods for the trust management of networks, especially on network security management and operation.

2. Quality management of machine learning systems

Our second focus is on the quality of machine learning systems. We develop methods to improve and evaluate the implementations of machine learning algorithms, models, and systems from a software engineering perspective. We also develop the "Machine Learning Quality Management Guideline" to establish quality goals and development processes for products and services using machine learning.

3. Formal methods for software systems with uncertainty

Our third focus is to evaluate and certify the trustworthiness of software systems with uncertainty, such as cyber-physical systems. We develop formal methods for modeling and verifying software systems that deal with physical environments, probability, statistics, and so on. We also conduct foundational research on programming languages and interactive theorem provers.

Information

Recent Publications

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

More

Researcher Profile

Reynald Affeldt
Senior researcher

Reynald Affeldt

Formal verification, programming languages
staff.aist.go.jp/reynald.affeldt/
Michitaka Akita
Research specialist

Michitaka Akita

Software quality, scrum development
m-akita at aist.go.jp
Kyou Chuu
Research specialist

Kyou Chuu

Machine learning, data science
Yuuta Iwase
Research specialist

Yuuta Iwase

Data science, complex networks, data engineering
iwase.yuta at aist.go.jp
https://yuta-iwase.github.io/
Yusuke Kawamoto
Senior researcher

Yusuke Kawamoto

Formal methods, probabilistic systems, information security
https://staff.aist.go.jp/yusuke.kawamoto/
Takashi Kitamura
Senior researcher

Takashi Kitamura

Software testing, formal methods, software engineering
staff.aist.go.jp/t.kitamura/
Koichi Konishi
Guest researcher

Koichi Konishi

Kazumasa Miyake
Research specialist

Kazumasa Miyake

Security for AI/AI for Security, Machine Learning Quality Management, Network communication
miyake-kazumasa at aist.go.jp
Daniel Perez Morales
Research assistant

Daniel Perez Morales

Takao Nakagawa
Research specialist

Takao Nakagawa

Shin Nakajima
Guest researcher

Shin Nakajima

Software engineering,machine learning quality, innovation management
researchmap.jp/nkjm/?lang=en
Takaaki Nanba
Research specialist

Takaaki Nanba

Ken'ichirou Narita
Research specialist

Ken'ichirou Narita

Keiichi Nishida
Research specialist

Keiichi Nishida

Yutaka Oiwa
Team leader

Yutaka Oiwa

Security, software architecture, network
staff.aist.go.jp/y.oiwa/index-en.html
Tamao Okamoto
Research specialist

Tamao Okamoto

Yoshihiro Okawa
Research specialist

Yoshihiro Okawa

Tinghui Ouyang
Researcher

Tinghui Ouyang

Machine learning, AI quality assurance, anomaly detection
Hiromitsu Takagi
Senior researcher

Hiromitsu Takagi

Akira Tanaka
Senior researcher

Akira Tanaka

Programming language, formal method, verification
staff.aist.go.jp/tanaka-akira/