Official websites use .gov
Secure .gov websites use HTTPS
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.