Gadgets of gadgets in industrial control systems: Return oriented programming attacks on PLCs
In industrial control systems (ICS), programmable logic controllers (PLCs) directly control
and monitor physical processes in real-time such as nuclear plants, and power grid stations …
and monitor physical processes in real-time such as nuclear plants, and power grid stations …
MemSafe: ensuring the spatial and temporal memory safety of C at runtime
MS Simpson, RK Barua - Software: Practice and Experience, 2013 - Wiley Online Library
Memory access violations are a leading source of unreliability in C programs. As evidence of
this problem, a variety of methods exist that retrofit C with software checks to detect memory …
this problem, a variety of methods exist that retrofit C with software checks to detect memory …
Bringing Segmented Stacks to Embedded Systems
Microcontrollers are the heart of embedded systems. Due to cost and power constraints, they
do not have memory management units (MMUs) or even memory protection units (MPUs) …
do not have memory management units (MMUs) or even memory protection units (MPUs) …
Call stack protection
JE Attinella, ME Giampapa, TM Gooding - US Patent 8,245,002, 2012 - Google Patents
Call stack protection, including executing at least one appli cation program on the one or
more computer processors, including initializing threads of execution, each thread hav ing a …
more computer processors, including initializing threads of execution, each thread hav ing a …
Enabling trusted scheduling in embedded systems
The growing complexity and increased networking of security and safety-critical systems
expose them to the risk of adversarial compromise through remote attacks. These attacks …
expose them to the risk of adversarial compromise through remote attacks. These attacks …
Determining maximum stack usage in preemptive shared stack systems
This paper presents a novel method to determine the maximum stack memory used in
preemptive, shared stack, real-time systems. We provide a general and exact problem …
preemptive, shared stack, real-time systems. We provide a general and exact problem …
Bounding shared-stack usage in systems with offsets and precedences
The paper presents two novel methods to bound the stack memory used in preemptive,
shared stack, real-time systems. The first method is based on branch-and-bound search for …
shared stack, real-time systems. The first method is based on branch-and-bound search for …
Eliminating the call stack to save RAM
Most programming languages support a call stack in the programming model and also in the
runtime system. We show that for applications targeting low-power embedded …
runtime system. We show that for applications targeting low-power embedded …
Reducing stack with intra-task threshold priorities in real-time systems
G Yao, G Buttazzo - Proceedings of the tenth ACM international …, 2010 - dl.acm.org
In the design of hard real-time systems, the feasibility of the task set is one of the primary
concerns. However, in embedded systems with scarce resources, optimizing resource …
concerns. However, in embedded systems with scarce resources, optimizing resource …
Software rejuvenation in embedded systems
CM Kintala - Journal of Automata, Languages and Combinatorics, 2009 - dl.acm.org
Mobile communication devices have multitasking embedded software running in their
operating systems (OS) as well as applications. Both the OS modules and the application …
operating systems (OS) as well as applications. Both the OS modules and the application …