Applying Cryptol To Tantrix Posted 25 December 2015
Secure Computation with HELib Posted 13 May 2013
Things to do in Portland when you're sick: Benchmarking Cryptographically Secure RNGs Posted 13 May 2013
Easy, threadsafe, communications security for Haskell Posted 28 April 2013
License Plate Recognition With Haskell and OpenCV Posted 28 April 2013