Back to Results
First PageMeta Content
Programming language theory / Laboratories / Logic in computer science / HRL / Procedural programming languages / HR / Proof-carrying code / C / Formal verification / Software engineering / Computing / Formal methods


HSARPA Cyber Security R&D
Add to Reading List

Document Date: 2013-01-02 14:25:44


Open Document

File Size: 1,06 MB

Share Result on Facebook

City

Malibu / /

Company

Hughes Research Laboratories / Air Force Research Laboratory / The Boeing Company / HRL Laboratories LLC / First Responder Incident Management Systems / Software Assurance HRL Laboratories LLC / /

/

Event

Company Expansion / /

Facility

DoD Trusted Foundry / Aleksey Nogin Stevens Institute of Technology David Naumann / /

Organization

Tunable Information Flow Cyber Security Division / Cyber Security Division / Stevens Institute of Technology / Science and Technology Directorate / Air Force Research Laboratory Information Directorate / Department of Defense / U.S. Government / General Motors Government / /

Person

George Kuan / /

/

Product

C-0236 / /

SocialTag