DEMIX: Domain-Enforced Memory Isolation for Embedded System

Haeyoung Kim1, Harashta Tatimma Larasati1, Jonguk Park1

  • 1Information Security and AIoT Laboratory, School of Computer Science & Engineering, Pusan National University, Busan 46241, Republic of Korea.

Summary

DEMIX offers efficient memory isolation for embedded systems by validating processor states and instructions. This approach eliminates domain switching overhead, enhancing security and enabling more granular access control with minimal hardware impact.

Related Concept Videos

Understanding Memory01:19

Understanding Memory

Memory is the retention of information or experiences over time, facilitated through three main processes: encoding, storage, and retrieval. Encoding is the process of inputting information into the memory system. For instance, when listening to a lecture, watching a play, reading a book, or having a conversation, the brain is actively encoding information. This initial stage involves transforming sensory input into a form that can be processed and stored by the brain. Various factors, such as...
568
System of Memory01:23

System of Memory

Memory is categorized into three major systems: sensory memory, short-term memory (STM), and long-term memory (LTM). These systems differ in their capacity and the duration for which they can hold information. Sensory memory captures raw sensory input from the environment, holding it for just a few seconds or less. For example, on hearing a brief, loud sound, like a car horn honking, the sound seems to linger in the mind for a moment even after it stops. This is an instance of sensory memory...
6.3K
Semiconductors01:22

Semiconductors

There is variation in the electrical conductivity of materials - metals, semiconductors, and insulators that are showcased with the help of the energy band diagrams.
Metals such as copper (Cu), zinc (Zn), or lead (Pb) have low resistivity and feature conduction bands that are either not fully occupied or overlap with the valence band, making a bandgap non-existent. This allows electrons in the highest energy levels of the valence band to easily transition to the conduction band upon gaining...
756
Multimachine Stability01:25

Multimachine Stability

Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
208
Repressed Memory01:16

Repressed Memory

Repressed memories are a psychological phenomenon where memories of traumatic events are unconsciously blocked from a person's awareness. This process occurs as a defense mechanism, protecting the mind from the emotional impact of distressing or painful experiences. For example, a person who has experienced childhood trauma may grow up with no conscious recollection of the event. In such cases, the memories are thought to be buried deep within the subconscious, inaccessible to the conscious...
129
Segregation in Fresh Concrete01:16

Segregation in Fresh Concrete

Segregation in fresh concrete is a phenomenon where the components of the concrete mix separate, leading to uneven distribution and compromised structural integrity. This separation typically occurs when concrete is subjected to excessive horizontal movement within forms, or when it is dropped from considerable heights or forced through narrow, winding paths. As a result, heavier coarse aggregate particles settle at the bottom, while lighter, finer materials such as cement and water rise to the...
194