This repository contains secure implementations of the game Battleship.
In the subdirectory battleship-plas2014
there is the code, written in Concurrent ML and Haskell/LIO,
reported on in the PLAS 2014 paper
You Sank My Battleship! A Case Study in Secure Programming.