Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source 12 years ago
That's the only one I caught while preparing the website.
dylanmc
I live in Portland Oregon, and work for Galois. I ride cyclocross in the fall, snowboard in the winter, and program the rest of the year.
Posts0
Comments2
No posts found.