[Haskell-cafe] Tor project
tdammers at gmail.com
Fri Aug 1 10:02:40 UTC 2014
On Fri, Aug 01, 2014 at 10:08:08AM +0200, Wojtek Narczyński wrote:
> Countermeasures here, countermeasures there, and the best language to do it
> is C. I find it hard to believe.
Well; it's a two-edged sword.
C is close to the metal, so you have a lot of control over timing,
memory allocations, even CPU registers; this is beneficial when dealing
with things like timing attacks, and it is a disaster when trying to
write provably correct code. I believe that having both in the same
language would be the holy grail of secure programming.
More information about the Haskell-Cafe