Person. Michael K. Reiter Professor · Duke University · reitermk.github.io · 0000-0001-7007-8274 PhD studentsJonathan M. McCune PhDCornell University UndergraduateUniversity of North Carolina at Chapel Hill Papers Flicker: an execution infrastructure for tcb minimization mccune-2008-flickerEuroSys · 2008 DOI