News for hackers. Stuff that matters.

A comment on Applying Satisfiability to the Analysis of Cryptography. Parent comment

Re:Applying Satisfiability to the Analysis of Cryptography by tommd on Tuesday September 29, 2015 @12:23PM (#10297413)
I think you skimmed a little too fast. The links are chalked full of slides, implementations, and executable examples.
[ Parent | on HN ]

There are no comments on this comment yet.