alleystoughton / battleship

Secure Battleship Implementations in Concurrent ML and Haskell/LIO

Secure Battleship Programs

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.

Secure Battleship Implementations in Concurrent ML and Haskell/LIO

Language:HTML 50.9%Language:Standard ML 27.2%Language:Haskell 18.3%Language:JavaScript 1.7%Language:CSS 1.6%Language:Shell 0.2%