[Haskell-cafe] GHC 7.0.1 developer challenges
Simon Peyton-Jones
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.
Simon
More information about the Haskell-Cafe
mailing list