Publisher：2025 7th International Conference on Blockchain Computing and Applications Bcca 2025  

The rapid expansion of the Internet of Things (IoT) has intensified the demand for secure, interoperable, and userfriendly data sharing platforms. While blockchain-based decentralized architectures have been proposed to address privacy and transparency issues, most existing solutions lack a standardized authentication mechanism for both data providers and consumers, as well as flexible search capabilities for efficient data retrieval. This paper presents a blockchain-based decentralized IoT data distribution system that integrates Self-Sovereign Identity (SSI) for trustless authentication and an enhanced metadata search mechanism for condition-based data discovery. In the proposed architecture, raw IoT data remains on the originating devices to preserve privacy, while metadata is managed using PostgreSQL and stored on IPFS, with blockchain smart contracts ensuring transparency and traceability. SSI enables secure, decentralized verification of stakeholders without relying on a central authority, and the search framework allows data consumers to locate and acquire datasets matching specific requirements.

DOI： 10.1109/BCCA66705.2025.11229590

Scopus

Language：Japanese   Publisher：THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS  

DOI： 10.11509/isciesci.67.12_482

Open Access

CiNii Research

Language：Japanese   Publisher：Japan Society for Software Science and Technology  

<p>CFI (Control-Flow Integrity) is a class of defensive techniques against control-flow attacks such as Return-Oriented Programming. We propose a lightweight CFI scheme for RTOS-based applications, <I>TZmCFI</I>, which utilizes TrustZone for Armv8-M, a hardware-assisted security feature for embedded systems with tight resource constraints. TZmCFI embodies several existing CFI techniques to provide a self-contained toolset for building an instrumented application. The toolset is comprised of a modified LLVM-based compiler and a runtime library called <I>Monitor</I>. The modified LLVM code generator implements the traditional shadow stack technique by inserting calls to Monitor. To protect exception handlers, Monitor replaces an application's exception vector table and wrap interrupt handlers with <I>exception trampolines</I>, which implement variations of the <I>shadow exception stack</I> technique we proposed in our previous work. The performance evaluation on NXP Semiconductors LPC55S69 indicated a <I>-</I>7–35% increase in the execution times of FreeRTOS+MPU system calls and a 9.36% runtime overhead on CoreMark.</p>

DOI： 10.11309/jssst.39.2_39

Open Access

Scopus

CiNii Research

Publishing type：Research paper (scientific journal)  

DOI： 10.1109/TNSM.2025.3617534

Web of Science

Scopus

Publishing type：Research paper (international conference proceedings)  

DOI： 10.1109/CCNC65079.2026.11366528

Other Link： https://dblp.org/db/conf/ccnc/ccnc2026.html#SasakiKMT26

Publishing type：Research paper (scientific journal)  

DOI： 10.48550/arXiv.2511.01176

Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

DOI： 10.1109/bcca66705.2025.11229822

Scopus

Publishing type：Research paper (scientific journal)  

DOI： 10.3390/systems13050327

Open Access

Web of Science

Scopus

Publishing type：Research paper (scientific journal)  

DOI： 10.48550/arXiv.2503.16436

Publishing type：Research paper (scientific journal)  

DOI： 10.1016/j.jlamp.2024.101033

Web of Science

Scopus

Publishing type：Research paper (scientific journal)  

DOI： 10.1109/TITS.2024.3490635

Web of Science

Scopus

Publishing type：Research paper (scientific journal)  

DOI： 10.1109/ACCESS.2025.3535519

Open Access

Web of Science

Scopus

Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

DOI： 10.1109/PerComWorkshops65533.2025.00038

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/percom/percomw2025.html#KawaiWMT25

Publishing type：Research paper (international conference proceedings)   Publisher：Springer  

DOI： 10.1007/978-3-031-68738-9_15

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/safecomp/safecomp2024w.html#ZhangMT24

Publishing type：Research paper (international conference proceedings)   Publisher：ACM  

DOI： 10.1145/3698062.3698063

Open Access

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/wsse/wsse2024.html#ItoMT24

Publishing type：Research paper (scientific journal)  

DOI： 10.1109/ACCESS.2024.3506013

Open Access

Web of Science

Scopus

Publishing type：Research paper (international conference proceedings)   Publisher：ACM  

DOI： 10.1145/3698062.3698075

Open Access

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/wsse/wsse2024.html#LiMTFK24

Language：Japanese   Publishing type：Research paper (scientific journal)  

DOI： 10.1016/j.ress.2022.108812

Web of Science

Scopus

Publishing type：Research paper (international conference proceedings)   Publisher：SCITEPRESS  

DOI： 10.5220/0011722100003464

Open Access

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/enase/enase2023.html#ItoMT23

Language：Japanese   Publishing type：Research paper (scientific journal)  

DOI： 10.32604/csse.2023.030848

Open Access

Web of Science

Scopus

Language：English   Publishing type：Research paper (scientific journal)   Publisher：Information Processing Society of Japan  

<p>The use of Linux in the domain of embedded systems is growing very fast. Due to the complexity of hardware and software on Linux-based platforms, it is challenging to meet the performance requirements, especially for the mixed-criticality system with both real-time and best-effort tasks. We propose a reference design of Linux-based mixed-criticality system using PREEMPT_RT patch to improve real-time performance and QEMU/KVM virtual machine to reduce interferences. An evaluation environment of the proposed design is built with recent software and hardware to investigate the performance characteristics via experimental measurements. We measure and analyze the baseline kernel latency, the system throughput and the real-time performance under multiple conditions. In detailed analysis, we reveal novel insights on the real-time capabilities and limitations of Linux-based embedded systems. The results show that our design can meet the 100<i>µ</i>s deadline goal of 1kHz real-time task with high probability under various extreme interferences, and can deliver high throughput for best-effort workload.</p>

DOI： 10.2197/ipsjjip.31.78

Open Access

Scopus

CiNii Research

Publishing type：Research paper (international conference proceedings)   Publisher：Springer  

DOI： 10.1007/978-3-031-40953-0_5

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/safecomp/safecomp2023w.html#ZhangMT23

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：English   Publishing type：Research paper (international conference proceedings)  

DOI： 10.1109/DASC-PICom-CBDCom-CyberSciTech52372.2021.00022

Language：Japanese   Publishing type：Research paper (scientific journal)   Publisher：Springer Science and Business Media LLC  

<title>Abstract</title>Control-Flow Integrity (CFI) is a class of defensive techniques against control-flow attacks such as Return-Oriented Programming. We propose a light-weight CFI scheme for RTOS-based applications, TZmCFI, which utilizes TrustZone for Armv8-M, a hardware-assisted security feature for embedded systems with tight resource constraints. TZmCFI embodies several existing CFI techniques to provide a comprehensive protection. The traditional shadow stack technique is used to ensure stack integrity and validate function returns. To protect exception handlers, TZmCFI extends <italic>shadow exception stacks</italic>, which are a variant of the traditional shadow stack technique we proposed in our previous work, for RTOS integration and performance improvement. We conducted an experiment on Arm Versatile Express Cortex-M Prototyping System (V2M-MPS2+) to evaluate the run-time overhead of the proposed system.

DOI： 10.1007/s10766-020-00673-z

Open Access

Web of Science

Scopus

Other Link： http://link.springer.com/article/10.1007/s10766-020-00673-z/fulltext.html

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

Language：Japanese   Publishing type：Research paper (scientific journal)  

DOI： 10.20729/00210252

Open Access

Language：Japanese   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

DOI： 10.1109/DASC-PICom-CBDCom-CyberSciTech52372.2021.00022

Web of Science

Scopus

Other Link： https://dblp.org/db/conf/dasc/dasc2021.html#ZhouMT21

Language：English   Publishing type：Research paper (international conference proceedings)  

Language：English   Publishing type：Research paper (scientific journal)  

In recent years, curial incidents and accidents have been reported due to
un-intended control caused by misjudgment of statistical machine learning
(SML), which include deep learning. The international functional safety
standards for Electric/Electronic/Programmable (E/E/P) systems have been widely
spread to improve safety. However, most of them do not recom-mended to use SML
in safety critical systems so far. In practical the new concepts and methods
are urgently required to enable SML to be safely used in safety critical
systems. In this paper, we organize five kinds of technical safety concepts
(TSCs) for SML components toward accordance with functional safety standards.
We discuss not only quantitative evaluation criteria, but also development
process based on XAI (eXplainable Artificial Intelligence) and Automotive SPICE
to improve explainability and reliability in development phase. Fi-nally, we
briefly compare the TSCs in cost and difficulty, and expect to en-courage
further discussion in many communities and domain.

arXiv

Other Link： http://arxiv.org/pdf/2008.01263v1

Authorship：Last author   Language：English   Publishing type：Research paper (international conference proceedings)  

Language：English   Publishing type：Research paper (scientific journal)  

This report provides an introduction and overview of the Technical Topic
Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
of autonomous Road vehicleS (Tigars) project. These notes aim to support the
development and evaluation of autonomous vehicles. Part 1 addresses:
Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
Perspective and Formal Verification and Static Analysis of ML Systems. Part 2:
Simulation and Dynamic Testing, Defence in Depth and Diversity,
Security-Informed Safety Analysis, Standards and Guidelines.

arXiv

Other Link： http://arxiv.org/pdf/2003.00789v1

Language：English   Publishing type：Research paper (scientific journal)  

This report provides an introduction and overview of the Technical Topic
Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
of autonomous Road vehicleS (Tigars) project. These notes aim to support the
development and evaluation of autonomous vehicles. Part 1 addresses:
Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
Perspective and Formal Verification and Static Analysis of ML Systems. This
report is Part 2 and discusses: Simulation and Dynamic Testing, Defence in
Depth and Diversity, Security-Informed Safety Analysis, Standards and
Guidelines.

arXiv

Other Link： http://arxiv.org/pdf/2003.00790v1

Language：Japanese   Publishing type：Research paper (scientific journal)   Publisher：Japan Society for Software Science and Technology  

<p>Embedded systems are moving to multi-core and many-core platforms to satisfy the ever-growing demand for computing power. Complex task like autonomous driving will include both real-time applications and high-performance applications. Research has shown that traditional RTOS can be optimized to provide good scalability for parallel computing. The lack of performance analysis tools, however, is one of the major obstacles for identifying bottlenecks.<br/>In this paper, we first discuss the characteristics and challenges of existing tools used in high-performance computing. To meet the requirements of embedded systems, a generic infrastructure for creating customized profilers flexibly and effortlessly is then presented. As an example, a scalable and optimized call graph profiler has been developed. At last, we evaluate our profiler and existing profiler by measuring benchmark application on a 36-core platform. The results show that our profiler can provide much higher accuracy with very low overhead.</p>

DOI： 10.11309/jssst.37.1_54

Open Access

Scopus

CiNii Research

Language：English   Publishing type：Research paper (scientific journal)  

DOI： https://doi.org/10.2197/ipsjjip.27.136

Language：English   Publishing type：Research paper (scientific journal)  

DOI： 10.1109/ACCESS.2018.2870695

Open Access

Language：English   Publishing type：Research paper (scientific journal)  

DOI： https://doi.org/doi:10.1016/j.suscom.2018.10.001

Language：Japanese  

Open Access

Language：English  

DOI： 10.1109/EUC.2018.00031

Language：Japanese  

Open Access

Language：Japanese  

Open Access

Language：Japanese  

Language：English  

Authorship：Lead author   Language：Japanese  

Event date： 2021.6

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Event date： 2021.2

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：オンライン  

Event date： 2021.1

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：オンライン  

Event date： 2020.10

Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：京都  

Event date： 2020.10 - 2020.12

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：オンライン  

Event date： 2020.7

Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：オンライン  

Event date： 2019.12

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：名古屋   Country：Japan  

Event date： 2019.12

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：東京   Country：Japan  

Event date： 2019.11

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：横浜   Country：Japan  

Event date： 2019.11

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：札幌   Country：Japan  

Event date： 2019.9

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：東京   Country：Japan  

Event date： 2019.8

Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

Venue：東京   Country：Japan  

Event date： 2019.7

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：東京   Country：Japan  

Event date： 2019.6

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：東京   Country：Japan