Trapped in a hell he helped make, a lone hacker aboard a space station far from home sneaks and fights his way through horrible mutants and killer robots in order to take down the monstrous artificial ...

Sherloc is a secure and holistic control-flow violation detection mechanism for microcontroller-based embedded systems. This repository contains the source code, examples, and evaluation tools to run ...

Abstract: Space systems are increasingly complex. To address the challenge of reducing cost and schedule, NASA has provided a set of reusable components for flight software. This work presents an ...