singrdk/docs/Papers/2007_EuroSys_SealedProcesse...