Bücher der Reihe Foundations and Trends in Privacy and Security

Software-based Fault Isolation (SFI) is a software-instrumentation technique at the machine- code level for establishing logical protection domains within a process. This monograph discusses the SFI policy, its main implementation and optimization techniques, as well as an SFI formalization on an idealized assembly language.

Contextual Integrity through the Lens of Computer Science is a structured survey and review of computer science literature using Contextual Integrity. It characterizes the different ways various efforts have interpreted and applied CI and identifies gaps in both contextual integrity and its technical projection that this body of work reveals.