So you might be interested by the blog of Matt Keeter [1].
It's thesis is worth a read too [2].
[1] http://www.mattkeeter.com/projects/ [2] http://www.mattkeeter.com/research/thesis.pdf
[1] http://www.mattkeeter.com/projects/ [2] http://www.mattkeeter.com/research/thesis.pdf