Rat's Nest


Cryptanalysis with Lisp
2016-12-08, 14:31
Filed under: QA | Tags: ,

Chris Kohlhepp's Blog

Today I would like to start the third article in a series on reasoning systems and declarative, executable specifications: GCHQ 2015 Crypto Puzzle Analysed. The material I prepared for this article on the 2015 GCHQ crypto puzzle was mothballed nearly a year ago now – and surely GCHQ will host a new puzzle this year. To date, I have not examined other people’s solution strategies as this would have spoiled the fun for me. I set out to solve this problem differently. I wanted to build a general solver, one that would not rely on the hints GCHQ so generously provided in the form of pre-filled parts of the puzzle, one that would work for other puzzles and which would demonstrate how problems with significant analytical complexity can be solved using functional programming techniques.

This is part 3 of a 3 part series. Part 1 is The Anatomy of a…

View original post 31 more words