Back to Results
First PageMeta Content
Linux / Kernel / Microkernel / Linux kernel / Model checking / EROS / Thread / Architecture of Windows NT / Mach / Computer architecture / Software / System software


Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen
Add to Reading List

Document Date: 2007-09-20 09:41:43

Open Document

File Size: 114,37 KB

Share Result on Facebook

City

Oakland / /

Company

Software Assurance SRL / /

Currency

PTE / /

/

Facility

Computer Science Johns Hopkins University / /

IndustryTerm

sound tool / secure systems / static tools / annotation-driven checking tools / call site / Lightweight program analysis tools / static analysis tool / kernel services / commodity hardware / static checking tool / tool developer / precise model checking tool / middle ground solution / /

OperatingSystem

UNIX / KeyKOS / EROS / GNU / /

Organization

FSA / Johns Hopkins University / /

Person

Hao Chen / Jonathan S. Shapiro / /

Position

guard / mental model of global program behavior / programmer / /

ProgrammingLanguage

C / /

Technology

virtual machine / UNIX / caching / simulation / operating system / virtual memory / operating systems / process control / /

SocialTag