Person. Hiroshi Isozaki Institut de Mécanique et d’Ingénierie de Bordeaux · 0000-0003-1514-1351 Papers Flicker: an execution infrastructure for tcb minimization mccune-2008-flickerEuroSys · 2008 DOI