NSA News & Highlights

Tag: cybersecurity research

Feb. 23, 2023

NSA Engages with Partners, Public During Top Scientific Conference in Hawaii

This year, NSA attended and sponsored the Hawaii International Conference on System Sciences (HICSS) at the Hyatt Regency Maui. Held over three days in January, it serves as the longest-standing working scientific conference on information technology management in the world.

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?

Aug. 9, 2016

NSA Research Sponsors Special Award for Young Scientists and Engineers

The NSA Research Directorate hosted award winners from the Intel Science and Engineering Fair for a visit.