Visible to the public 10th Annual Best Scientific Cybersecurity Paper Winners AnnouncedConflict Detection Enabled

The tenth NSA Competition for Best Scientific Cybersecurity Paper recognizes the best scientific cybersecurity paper published in 2021. Papers were nominated between December 15, 2021 through April 15, 2022. 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?An honorable mention award was given to “Defensive Technology Use by Political Activists during the Sudanese Revolution,” written by Alaa Daffalla, Lucy Simko, Tadayoshi Kohno, and Alexandru G. Bardas, of Cornell University, George Washington University, the University of Washington, and the University of Kansas respectively.