Asilomar / New York / Las Vegas / Washington / D.C. / Berlin / Cambridge / Turin / Oakland / Newcastle / /
Company
Apple Inc. / MIT Press / Computer Science Laboratory / Air Force Research Laboratory / Google / Computer Laboratory / CTSRD / SRI International / IEEE Software / Introduction SRI International’s Computer Science Laboratory / Cambridge CAP Computer / Needham / Capsicum / /
Country
Netherlands / Italy / United States / United Kingdom / /
Facility
University of Cambridge Computer Laboratory / University of Cambridge / Air Force Research Laboratory / University of Cambridge Computer Laboratory Layered Assurance Workshop Austin TX / Robert N. M. Watson SRI International Computer Science Laboratory / /
IndustryTerm
principled secure systems / wireless mobile devices / open-source software stacks / contemporary applications / secure systems / hardware-software design / legacy software / space memory management / heterogeneous distributed systems / web browser / logical applications / open source systems / hardware-software co-design approach / commodity systems / open source software / system software / hybrid software designs / even whole operating systems / programmable hardware / executive integrating memory management / hardware-software interfaces / software stack / hardware-software architectures / pure capability-oriented software stack / explicit software / high-assurance software stack / coarse tool / lower-layer software / commodity hardware / hardware-software interface / commodity operating systems / software designs / computing / assurance systems / Commodity applications / cloud computing / virtual memory systems / Web security model / technology transfer / software specialisation / /
OperatingSystem
UNIX / Mac OS X / Linux / Android / FreeBSD / Multics / KeyKos / PSOS / Snow Leopard / POSIX / /
Organization
Defense Advanced Research Projects Agency / MIT / Carnegie Mellon / USENIX Association / University of Cambridge Computer Laboratory / CHERI CPU / Robert N. M. Watson SRI International Computer Science Laboratory / University of Cambridge / IEEE Computer Society / /
Person
J.H. Morris / Jr. / Robert N. M. Watson / Peter G. Neumann / Figure / /
Position
JavaScript interpreter / zlib Chromium web browser OCaml application stack C++ RT / stack Chromium web browser Java Script OCaml application stack C++ RT / libc executive libc executive Network stack / management and capability executive / /
Capabilities Revisited: A Holistic Approach to Bottom-to-Top Assurance of Trustworthy Systems Peter G. Neumann and Robert N. M. Watson SRI International Computer Science Laboratory and University of Cambridge Computer La