[148950] in cryptography@c2.net mail archive
Re: [Cryptography] defaults, black boxes, APIs,
daemon@ATHENA.MIT.EDU (Ben Laurie)
Mon Jan 6 18:22:50 2014
X-Original-To: cryptography@metzdowd.com
In-Reply-To: <B7E65C5B-38EA-4F49-90CE-698C80F3CF8B@lrw.com>
Date: Mon, 6 Jan 2014 17:36:07 +0000
From: Ben Laurie <benl@google.com>
To: Jerry Leichter <leichter@lrw.com>
Cc: Cryptography Mailing List <cryptography@metzdowd.com>,
Albert Lunde <atlunde@panix.com>
Errors-To: cryptography-bounces+crypto.discuss=bloom-picayune.mit.edu@metzdowd.com
On 6 January 2014 12:46, Jerry Leichter <leichter@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
_______________________________________________
The cryptography mailing list
cryptography@metzdowd.com
http://www.metzdowd.com/mailman/listinfo/cryptography
