Visible to the public NSA Science of Security Research Initiative

Current NSA Science of Security Efforts:

NSA Science of Security Research Lablets - Established to stimulate basic research to create scientific underpinnings for security; advocate for scientific rigor in security research create and broaden a Science of Security community and culture; identify "Hard Problems" in security that require science as a community focus and measurement of progress. - Learn More

Science of Security Virtual Organization - Established to provide a focal point for security science related work, and collaborative environment the community can use to further advance security science - Learn More

The Best Scientific Cybersecurity Paper Competition - An annual award that highlights papers which display scientific rigor in the multi disciplined area of security research - Learn More

Annual Symposium and Bootcamp on the Science of Security (Hot SoS) - An annual event held to bring together leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science. See presentations from Hot SoS 2014


Other Funded Research:

Games and Abstraction: The Science of Cyber Security  - Dusko Pavlovic, Royal Holloway, Univ. of London

GLASS: Geometric Logic for Analyzing Security with Strands - Joshua Guttman, Worcester Polytechic Institute

Making CyberSecurity Quantifiable/Refinemenf of HyperProperties - Michael Clarkson, George Washington Univ.

Integrity of Untrusted Computations - Silvio Micali, MIT