News for hackers. Stuff that matters.

A comment on Language-theoretic Security. Parent comment

Re:Language-theoretic Security by noblethrasher on Sunday October 04, 2015 @01:51AM (#10326639)
Langsec knows all about type theory:

See https://www.youtube.com/watch?v=3kEfedtQVOY&feature=youtu.be... (about 90 seconds)

n.b. that Merideth Patterson, the speaker in that video, is one of the original authors of langsec.

[ Parent | on HN ]
Re:Language-theoretic Security by lmeyerov on Sunday October 04, 2015 @05:27AM (#10327012)
I think that clip supports my statement.
[ Parent | on HN ]