[Haskell-cafe] Tor project

[Wojtek Narczyński]

On 01.08.2014 08:59, Friedrich Wiemer wrote:
> A comparision would be interesting though. I'm aware of constant time
> implementations of cryptographic functions to reduce timing issues, but
> these are often coded in C or ASM - I have no clue if this would be
> possible in a functional language, as the compiler has to know not to
> optimize for short cuts or anything in the code?
>
>

Well, how about something like

inConstantTime :: timeBudget -> (functionToPerform :: CryptoResult) -> 
IO (Maybe CryptoResult)