[Haskell-cafe] GHC 7.0.1 developer challenges
simonpj at microsoft.com
Mon Nov 29 09:36:20 CET 2010
| The irony of this situation is deep. CPSA is a program that analyzes
| cryptographic protocols in an effort to expose security flaws. To
| ensure that the program does not crash a user's machine, I have to use
| a linker option that may expose the user to some security problems.
Do you have an alternative to suggest? After all, the previous situation wasn't good either.
More information about the Haskell-Cafe