Back to Results
First PageMeta Content
Software bugs / Pointer / Kernel / Memory protection / C / 64-bit / Memory safety / Linux kernel / Computing / Software / Memory management


The SAFE Machine An Architecture for Pervasive Information Flow Benjamin C. Pierce University of Pennsylvania
Add to Reading List

Document Date: 2013-06-28 12:49:10


Open Document

File Size: 3,77 MB

Share Result on Facebook

Company

Olin / S&P / Store Hardware / ALU ALU Hardware / /

Facility

Pervasive Information Flow Benjamin C. Pierce University of Pennsylvania Computer Security Foundations June / /

IndustryTerm

low-level systems / runtime services / process management / /

NaturalFeature

Combine stream / /

Organization

Pervasive Information Flow Benjamin C. Pierce University of Pennsylvania Computer Security Foundations / /

Person

Marty Fahey / Benoit Montagu / Michael Greenberg / Greg Sullivan / Chris White / Bryan Loyall / Amanda Strnad / David Darais / Andrew Tolmach / Justin Slepak / Karl Fischer / Basil Krikeles / Shannon Spires / Greg Frazier / Tom Hawkins / Jesse Tov / Leonidas Lampropoulos / Tyler Brown / Albert Kwon / Andrew Kaluzniacki / Randy Pollack / Jonathan Smith / Tom Knight / Peter Trei / Anna Gommerstadt / Andrew Sutherland / Sumit Ray / Ben Karel / Greg Morrisett / Gregory Malecha / Nathan Collins / André DeHon / Arun Thomas / Benjamin Pierce / Robin Morisset / David Wittenberg / Tim Anderson / Arthur Azevedo de Amorim / Hillary Holloway / Ian Nightingale / /

ProgrammingLanguage

Erlang / DC / /

SocialTag