Back to Results
First PageMeta Content
Software bugs / Data types / Primitive types / Memory management / Pointer / C / Memory safety / Stack machine / Type safety / Software engineering / Computing / Computer programming


Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ
Add to Reading List

Document Date: 2014-05-13 12:55:36

Open Document

File Size: 362,72 KB

Share Result on Facebook

Company

CompCert / The SFI Mask / /

/

Event

FDA Phase / Product Issues / /

IndustryTerm

mechanized proof infrastructure / architecture portable software / minimal trusted computing base / runtime systems / trusted computing base / inter-module communications / hardened systems / client side web applications / runtime services / code producer / evaluated systems / /

Organization

Princeton University / /

Person

Coq / Andrew W. Appel / Joshua A. Kroll / Gordon Stewart / /

Position

memory model / and the certified back end / code producer / guard / automated proof assistant / Java Security Manager / proof assistant / programmer / /

Product

Portable SFI system / Cminor / Portable SFI / observation / /

ProgrammingLanguage

ANSI C / Java / C / /

Technology

Java / ANSI C / operating system / /

SocialTag