RockSalt: better, faster, stronger SFI for the x86

Abstract

Software-based fault isolation (SFI), as used in Google's Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for complicated architectures such as the x86, it is all too easy to get the details of the analysis wrong. We have built a new checker that is smaller, faster, and has a much reduced… (More)
DOI: 10.1145/2254064.2254111

2 Figures and Tables

Topics

Statistics

01020302012201320142015201620172018
Citations per Year

109 Citations

Semantic Scholar estimates that this publication has 109 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics