Now showing items 1-1 of 1

    • Beyond the PDP-11: Architectural support for a memory-safe C abstract machine 

      Chisnall, David Thomas; Rothwell, C; Watson, Robert Nicholas; Woodruff, J; Vadera, M; Moore, Simon William; Roe, M et al. (ACM, 2015-04-01)
      We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging. Despite ambiguities in the specification intended to provide implementation ...