Dawn Song explains why building a secure system is a complex and error-prone process in computing. System signers and developers face many challenges. Song proposes a new automatic approach for building security protocols. Song designed and built a suite of automatic tools, Athena, containing three components: 1) APV: an Automatic Protocol Analyzer; 2) APG: an Automatic Protocol Generator; 3) ACG: an Automatic Code Generator. This toolkit enables a new automatic approach for building security protocols that is more efficient, economical, and with higher security guarantee than the current approach. From the Series:CSE Colloquia - 2002