You Sank My Battleship!: A Case Study in Secure Programming. - Alley Stoughton; Andrew Johnson 005; Samuel Beller; Karishma Chadha; Dennis Chen; Kenneth Foner; Michael Zhivich (PLAS@ECOOP, 2014)