[Cryptography] defaults, black boxes, APIs, and other engineering thoughts

[Ben Laurie]

On 6 January 2014 12:46, Jerry Leichter <leichter at lrw.com> wrote:
> But ... bringing this back to security:  There's some recent work that makes
> the point that our network protocols are too complex for us to prove much
> about them - but they formalize this by looking at it from the view of
> language complexity theory.  Nice work that I need to find some more time to
> read more about - see http://www.cs.dartmouth.edu/~sergey/langsec/.  (I
> *may* have found this a while back through a message on this list.  If you
> posted it previously - thanks.)

Shmoocon talk from last year: http://www.youtube.com/watch?v=XVZrmp5MAas