Center for R&D on Secure Computer Systems (CRADSEC)

The Center for Research and Development on Secure Computer Systems (CRADSEC) was established in April 2025 under the Data Science Collaborative Support Unit (DS) of the Research Organization of Information and Systems (ROIS), Japan. ROIS comprises four national institutes and one collaborative support unit, with ROIS-DS serving as a foundation for advancing data science across research domains.

NEWS

October 15, 2025: Our official website is now open.

Overview

We aim to realize a unified TEE architecture that can flexibly operate across diverse platforms ranging from IoT devices to the cloud. This architecture will allow the selection of appropriate enclave configurations and protection mechanisms according to specific requirements and threat models, while taking into account trade-offs among security, performance, and energy consumption.
From the hardware perspective, we will provide highly versatile TEE primitives. Using these primitives, system software will be able to flexibly configure protection domains. From the theoretical perspective, we will develop formal verification techniques to ensure that the protection domains built on top of the TEE primitives are provably secure against the assumed threat models.
Furthermore, we will develop a software environment that enables secure execution of advanced cryptographic operations on the proposed TEE. As a proof of concept (PoC), we will prototype applications that realize secure data distribution.
All developed artifacts will be released as open source including hardware IPs.

Overview