ConstantC is really nice. Finally a *readable* language that improves assurance for crypto implementations. That being said, it could have been a set of clang attributes/extensions instead of a new language.
-
-
Replying to @jedisct1
Isn’t it really hard to preserve constant time through llvm’s optimization passes?
1 reply 0 retweets 0 likes -
Replying to @fanf
That’s also why I was concerned about. How do they do it in ConstantC?
1 reply 0 retweets 0 likes -
Replying to @jedisct1
I only glanced at the paper but I think they have their own back end?
2 replies 0 retweets 0 likes
Replying to @fanf
Mmm… their compiler appears to depend on LLVM…
3:58 AM - 28 Dec 2017
from Saint-Mandé, France
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.