CheriABI

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 04, 2019
Source ID
10.1145/3297858.3304042

Entities

People

  • A. Theodore Markettos
  • Alexander Richardson
  • Alexandre Joannou
  • Alfredo Mazzinghi
  • Ben Laurie
  • Brooks Davis
  • David Chisnall
  • Edward Tomasz Napierala
  • J. Edward Maste
  • Jessica Clarke
  • John Baldwin
  • Jonathan Woodruff
  • Khilan Gudka
  • Michael Roe
  • Nathaniel Wesley Filardo
  • Peter G. Neumann
  • Peter Sewell
  • Robert M. Norton
  • Robert N. M. Watson
  • Simon W. Moore
  • Stacey Son

Organizations

  • Defense Advanced Research Projects Agency
  • Engineering and Physical Sciences Research Council
  • European Research Council
  • Google
  • Microsoft
  • SRI International
  • University of Cambridge