Jan. 5, 2023

Winning Cybersecurity Paper Addresses Algorithm Accuracy

The 10th Annual Best Scientific Cybersecurity Paper Competition recognizes the best foundational cybersecurity paper published in 2021. The winning paper, “Verifying Hyperproperties with Temporal Logic of Actions (TLA),” authored by Leslie Lamport and Fred B. Schneider, from Microsoft Research and Cornell University respectively, answers a key question: How can you ensure that a computer algorithm is correct?

Dec. 21, 2017

NSA's 5th Annual Best Scientific Cybersecurity Paper Competition Award Winner Announced

In a time of increasing cyber threats, Section 702 aids the Intelligence Community's cybersecurity efforts.

March 4, 2016

NSA Announces 4th Annual Best Scientific Cybersecurity Paper Competition

Public Announcement of the 4th Annual Best Scientific Cybersecurity Paper Competition

July 19, 2013

NSA Announces Winner of its First Annual "Science of Security Competition"

Dr. Joseph Bonneau's research centered on the use and strength of passwordsA research paper that was