Hiromasa Shimada

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Integrity Constraints

Component Analysis

Automatically Generating

Top Venues

UIC/ATC/ScalCom

Publications

Hiromasa Shimada, Tatsuo Nakajima
Automatically Generating External OS Kernel Integrity Checkers for Detecting Hidden Rootkits. UIC/ATC/ScalCom (2014)
Ning Li, Yuki Kinebuchi, Hiromasa Shimada, Tatsuo Nakajima
An Extensible Secure OS Architecture for Embedded Systems. Inf. Media Technol. 8 (4) (2013)
Ning Li, Yuki Kinebuchi, Hiromasa Shimada, Tatsuo Nakajima
An Extensible Secure OS Architecture for Embedded Systems. J. Inf. Process. 21 (4) (2013)
Ning Li, Yuki Kinebuchi, Hitoshi Mitake, Hiromasa Shimada, Tsung-Han Lin, Tatsuo Nakajima
A Light-Weighted Virtualization Layer for Multicore Processor-Based Rich Functional Embedded Systems. ISORC (2012)
Hitoshi Mitake, Tsung-Han Lin, Yuki Kinebuchi, Hiromasa Shimada, Tatsuo Nakajima
Using Virtual CPU Migration to Solve the Lock Holder Preemption Problem in a Multicore Processor-Based Virtualization Layer for Embedded Systems. RTCSA (2012)
Daisuke Yamaguchi, Takumi Yajima, Chen-Yi Lee, Hiromasa Shimada, Yuki Kinebuchi, Tatsuo Nakajima
Spatial Isolation on Realtime Hypervisor using Core-local Memory. PECCS (2012)
Hiromasa Shimada, Tatsuo Nakajima
Automatic Invariant Generation for Monitoring OS Kernel Integrity. RTCSA (2012)
Hiromasa Shimada, Alexandre Courbot, Yuki Kinebuchi, Tatsuo Nakajima
A software infrastructure for dependable embedded systems. Comput. Syst. Sci. Eng. 26 (6) (2011)
Tsung-Han Lin, Yuki Kinebuchi, Hiromasa Shimada, Hitoshi Mitake, Chen-Yi Lee, Tatsuo Nakajima
Hardware-Assisted Reliability Enhancement for Embedded Multi-core Virtualization Design. RTCSA (2) (2011)
Hiromasa Shimada, Yuki Kinebuchi, Tsung-Han Lin, Alexandre Courbot, Tatsuo Nakajima
Design issues in composition kernels for highly functional embedded systems. SAC (2011)
Tsung-Han Lin, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Takushi Morita, Hitoshi Mitake, Chen-Yi Lee, Tatsuo Nakajima
Hardware-Assisted Reliability Enhancement for Embedded Multi-core Virtualization Design. ISORC (2011)
Hiromasa Shimada, Tatsuo Nakajima
External Integrity Checking with Invariants. RTCSA (2) (2011)
Tatsuo Nakajima, Yuki Kinebuchi, Hiromasa Shimada, Alexandre Courbot, Tsung-Han Lin
Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances. ASP-DAC (2011)
Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake
Composition Kernel: A Multi-core Processor Virtualization Layer for Highly Functional Embedded Systems. PRDC (2010)
Hiromasa Shimada, Alexandre Courbot, Yuki Kinebuchi, Tatsuo Nakajima
A Lightweight Monitoring Service for Multi-core Embedded Systems. ISORC (2010)
Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products. SEUS (2010)
Lei Sun, Hiromasa Shimada, Tatsuo Nakajima
Reusable integrity management services for embedded systems. SOCA (2009)