We introduce PyRTL, a Python embedded hardware design language that helps concisely
and precisely describe digital hardware structures. Rather than attempt to infer a good …

This work introduces the CHEx86 processor architecture for securing applications, including
legacy binaries, against a wide array of security exploits that target temporal and spatial …

Combinators have a long history in mathematics, logic and computer science, as simple
primitive symbols with which complex relationships can be described. In practice, this …

Traditional CPU design shows signs of fatigue, expressed as overwhelming security
vulnerabilities. As we investigate functional programming as an alternative to the insecure …

When discussing safety and security for embedded systems, we typically divide the world
into software checks (which are either static or dynamic) or hardware checks (which are …

The architecture of a computer determines what programs are allowed to do and what the
microarchitecture should implement. As security and safety become critical needs for an …

Building a trustworthy life-critical embedded system requires deep reasoning about the
potential effects that sequences of machine instructions can have on full system operation …

For highly critical workloads, the legitimate fear of catastrophic failure leads to both highly
conservative design practices and excessive assurance costs. One import part of the …

Despite all the effort spent in testing, analyzing, and formally verifying software, a program is
ultimately only as correct as the underlying hardware on which it runs. As processors …