Automatic ISA analysis for Secure Context Switching

Neelu S. Kalani, Thomas Bourgeat, Guerney D. H. Hunt +1

Instruction set architectures are complex, with hundreds of registers and instructions that can modify dozens of them during execution, variably on each instance. Prose-style ISA s…