Fireaxe: the DHS secure design competition pilot. - Yevgeniy Vorobeychik; Michael Z. Lee; Adam Anderson 002; Mitch Adair; William Atkins; Alan Berryhill; Dominic Chen; Ben Cook; Jeremy Erickson; Steve Hurd; Ron Olsberg; Lyndon Pierson; et al. (CSIIRW, 2013)