IBM / Capability-Based Computer Systems / IEEE Computer Society Press / Needham / Patterson / Air Force Research Laboratory / Dynamic Storage Allocation Systems / Intel / Advanced Micro Devices / /
Country
United States / /
Facility
Air Force Research Laboratory / Robert N. M. Watson University of Cambridge / /
IndustryTerm
connected global network / capability systems / direct solution / software segmentation / software stack / segment hardware / memory protection systems / software vulnerability prevention / software security techniques / hardware capability systems / segmentation using hardware / software models / x86 processor / processor hardware / secure software / /
OperatingSystem
Unix / FreeBSD / PSOS / /
Organization
Defense Advanced Research Projects Agency / University of Cambridge / Department of Defense / /
Person
Khilan Gudka / Robert Norton / Ross Anderson / Ben Laurie / Michael Roe / Jonathan Anderson / Watson / Philip Paeps / Van Horn / Peter Neumann / Jonathan Woodruff / Nirav Dave / Steven J. Murdoch / Schroeder / David Chisnall / /
Position
Walker / R.N. / memory controller / programmer / small tag controller / /
Product
Protection System / C-0237 / /
ProgrammingLanguage
Java / C / /
PublishedMedium
Communications of the ACM / /
Technology
FPGA / flow control / Java / Unix / RISC processor / API / paging / x86 processor / 64-bit MIPS processor / Virtual Memory / operating system / -64 Technology / PSOS / operating systems / RISC processors / ARM Cortex-R Technology / integrated circuit / /
Memory Segmentation to Support Secure Applications Student: Jonathan Woodruff Supervisor: Simon W. Moore Project Lead: Robert N. M. Watson University of Cambridge, Computer Laboratory