Corey Lewis

seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text

Computing, Computer Engineering, Computer Science +17

Cyberassured Systems Engineering at Scale

Darren Cofer, Isaac Amundson, Junaid Babar et al. · IEEE Security & Privacy · 2022 · 27 citations

Engineering, Cybersecurity, Systems Engineering +17

capDL

Ihor Kuz, Gerwin Klein, Corey Lewis et al. · 2010 · 20 citations · Full text

Computing, Computer Engineering, Computer Science +15

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System

June Andronick, Corey Lewis, Carroll Morgan · Electronic Proceedings in Theoretical Computer Science · 2015 · 18 citations · Full text

Computing, Computer Science, Computer Systems +17

Meat and Man: A Study of Monopoly, Unionism, and Food Policy

Colston E. Warne, Corey Lewis · Industrial and Labor Relations Review · 1951 · 10 citations

Social Sciences, Economics, Public Policy +12