Venue. EuroSys ACM SIGOPS/EuroSys European Conference on Computer Systems · Conference 2008 Flicker: an execution infrastructure for tcb minimization mccune-2008-flickerEuroSys · 2008 DOI