Well, what does it mean to write secure programs? Citation needed :) I remember a lengthy discussion with coleague of mine about writing cryptography primitives in haskell.
I suggested, that haskells strong typing and syntax well suited for expressing mathematics, combined with good speed makes it a great fit fir writing cryptography primitives. He thought, that using the language would make it harder to avoid cache based and timing attacks due to nature of strict/lazy sequences. Then we found http://www.cryptol.net/, that allows you to design the specification of your cipher with a haskell-like language and protvides you with the tools to check your actuall implementation (preferably in C) against your cryptol specification. This way, you can have your nice, executable specifcation verified by a builtin proof assistant(?) to aid you when you are solving, how to produce code that utilizes the same number of instructions when you supply good key as well as wrong key :) So ... it deppends :D -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
