Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine.

Keun Sup Shim, Mieszko Lis, Myong Hyon Cho, Ilia A. Lebedev, Srinivas Devadas

Browse the full ICCD paper archive.