Establishing Software Root of Trust Unconditionally Page 1 Establishing Software Root of
Trust Unconditionally (or, a First Rest Stop on the Never-Ending Road to Provable Security) …

We provide a retrospective view of the design of SRI's Provably Secure Operating System
(PSOS), a formally specified tagged-capability hierarchical system architecture. It examines …

This book introduces the state-of-the-art in research in parallel and distributed embedded
systems, which have been enabled by developments in silicon technology, micro-electro …

We introduce a textbook that strives to identify and introduce the durable intellectual ideas of
embedded systems as a technology and as a subject of study. The emphasis is on …

The history of formal methods and computer security research is long and intertwined.
Program logics that were in theory capable of proving security properties of software were …

This article presents our experience updating the high-performance Digital forensics tool BE
(bulk_extractor) a decade after its initial release. Between 2018 and 2022, we updated the …

The most visible use of computers and software is processing information for human
consumption. The vast majority of computers in use, however, are much less visible. They …

Modern-day autonomous vehicles are increasingly becoming complex multidisciplinary
systems composed of mechanical, electrical, electronic, computing and information …

“Confinement”, in computer systems, is the ability to limit the amount of damage that can be
done by malicious or malfunctioning software. Confinement is a requirement when either …

This report explores the influences of hardware on verifiable secure system design and
envisions a mutually beneficial collaboration between the hardware verification and security …