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

Scopus

CiNii Research

Language：Japanese   Publisher：Proceedings - 2021 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing and International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2021  

Technological advances are transforming the automotive industry by increasing the number of computer-controlled auto components that provide information to remote systems through various means of communication. The changes have created new opportunities for cyber-attacks. To enable the engineering of in-vehicle embedded systems within road vehicles to keep up with changing technology and attack methods, in this year, ISO and SAE will jointly release the international standard ISO/SAE 21434. However, to date there are few studies about how to apply the standard to academia and industry. To fill this gap, the paper proposes an approach to develop assurance cases for cybersecurity argument of road vehicle in compliance with ISO/SAE 21434. We analyze the standard, and then propose a model-based approach to automotive cybersecurity assurance. After that, case studies are carried out to verify the effectiveness of the proposed method. Finally, the paper is concluded by discussing the limitations and future directions of the study.

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

Web of Science

Scopus

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

Scopus

CiNii Research

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)  

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

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)  

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

Authorship：Last author   Language：English   Publishing type：Research paper (other academic)  

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 (other academic)  

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 (other academic)  

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：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

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

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

Language：Japanese  

Language：English  

Language：Japanese  

Language：Japanese  

Language：Japanese  

Authorship：Lead author   Language：Japanese  

Language：English  

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