12 ms·
If you haven't seen it already, check out Cryptol from Gallois: http://corp.galois.com/cryptol/ http://corp.galois.com/cryptol/ It's a crypto DSL that I believ
by sakai 12y ago
If you haven't seen it already, check out Cryptol from Gallois: http://corp.galois.com/cryptol/ http://corp.galois.com/cryptol/
It's a crypto DSL that I believe is implemented in Haskell (it compiles to Haskell, C, C++ and a few others).