Eduardo Chielle

TL;DR: This work investigates the impact of using different system architectures on an APSoC in the overall system failure rate, and shows that there are several choices of architectures and resources to be chosen, but there are logic resources that can increase or decrease the vulnerability of the entire system to failures in the application execution context.

TL;DR: SETA is a new control-flow software-only technique that uses assertions to detect errors affecting the program flow that is combined with previously proposed data-flow techniques that aim at reducing performance and memory overheads.

TL;DR: This work proposes a framework which allows optimal, in terms of performance, execution of standard C++ code with encrypted variables, and automatically generates protected types so the programmer can remain oblivious to the underlying encryption scheme.

TL;DR: A set of software techniques based on different redundancy and checking rules to protect the program execution flow is included and shows significant improvements of the overheads when compared to previously reported techniques.

TL;DR: A tool capable of automatically adding fault detection capabilities in software to protect the processors against transient faults and can be extended to other architectures and organizations by changing the configuration files.