The National Security Agency held its first Science of Security (SoS) Community Meeting on November 29-30, 2012 at the Gaylord National Hotel and Convention Center in National Harbor, Maryland.

Initial NSA Science of Security Lablets meeting.

High Confidence Software and Systems 11th Annual Conference

A world class community of researchers will gather in Annapolis, MD for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life-, safety-, security-, and mission-critical systems.

SEE ALSO: The future home of the conference proceedings.

SoS poster displayed at CPSWeek and the 2012 HCSS Conference.

Abstract used for the 2012 HCSS Conferece:

NSF/IARPA/NSA Workshop on the Science of Security - Program Agenda

The project team includes Andre' Platzer who is an assistant professor in the computer science department at Carnegie Mellon University. He is an expert in verification and analysis of hybrid, distributed, and stochastic dynamic systems, including cyber-physical systems.  The team further includes Erik P. Zawdzki, who is a fourth year graduate student in the computer science department at Carnegie Mellon University and is developing reasoning techniques for first-order MILPs and fast propositional solvers for probabilistic model counting.

Agenda for the Science of Security Lablet Quarterly Meeting held 24 January 12, at NCSU.