Back to Results
First PageMeta Content
Hacking / Software testing / Vulnerability / Bluespec / Inc. / NetSurf / Social vulnerability / Computer security / Compiler / DARPA / Software / Computing / Risk


CTSRD  Project  Briefing   Robert  N.  M.  Watson  (Cambridge)   Peter  G.  Neumann  (SRI)              Simon  W.  Moore  (Cambridge)     DARPA  CRAS
Add to Reading List

Document Date: 2014-12-11 17:47:38

Open Document

File Size: 4,77 MB

Share Result on Facebook

City

Cambridge / Jacksonville / /

Company

Lincoln Laboratory / Air Force Research Laboratory / /

Facility

MIT Lincoln Laboratory / Air Force Research Laboratory / /

IndustryTerm

realisCc hardware / formal analysis tools / security analysis tool / formal techniques to hardware / criCcal infrastructure / /

OperatingSystem

L3 / /

Organization

Defense Advanced Research Projects Agency / MIT / U.S. Government / Department of Defense / /

Position

author / /

Product

C-0237 / /

URL

www.cl.cam.ac.uk/research/security/ctsrd / /

SocialTag