Reasoning About a Machine with Local Capabilities

  title={Reasoning About a Machine with Local Capabilities},
  • Published 2018
LAU SKORSTENGAARD, Aarhus University, Denmark DOMINIQUE DEVRIESE, KU Leuven, Belgium LARS BIRKEDAL, Aarhus University, Denmark Capability machines provide security guarantees at machine level which makes them an interesting target for secure compilation schemes that provably enforce properties such as control-flow correctness and encapsulation of local state. We provide a formalization of a representative capability machine with local capabilities and study a novel calling convention. We… CONTINUE READING