[baby]

Galois just gave a talk on high assurance crypto at RWC (they made cryptol and other open sourced tools to give formal proofs of security)

[nickpsecurity]

Oh yeah, Galois is another one of the greats in the field. They just keep cranking out one practical thing after another. At a higher pace than most it seems. Here are a few good things on their end.

Scrolling their blog is endless insights https://galois.com/blog/

CRYPTOL's open source page http://www.cryptol.net/

SMACCMPilot has things like Ivory language http://smaccmpilot.org/

GitHub site with 8 pages worth of their stuff https://github.com/galoisinc