[Haskell-cafe] Tor project

Auke Booij auke at tulcod.com
Fri Aug 1 08:31:23 UTC 2014

On 1 August 2014 10:26, Tobias Florek <haskell at ibotty.net> wrote:
> it should be stressed that delay does only help against network side
> channels. if you have an attacker on the same physical hardware, you will at
> least need branchless code. that is a very hard problem. i think it's pretty
> much impossible to solve that problem in haskell alone. maybe with a dsl
> that generates code it's possible though. cryptol looks interesting in that
> regard (whenever it gets back it code generators). offloading the
> computation to a fpga that only you have access to should solve cache-line
> side-channels.

Just wanted to say that what I posted might give hope for such
"branchless" code (or in fact: code that may branch, but by
construction not in a detectable way).

More information about the Haskell-Cafe mailing list