LLVM provides no side-channel resistance https://dsprenkels.com/cmov-conversion.html …
-
-
Replying to @jedisct1
definitely like the idea of the language keyword for secrecy. I hope some languages choose to do that.
2 replies 0 retweets 4 likes -
Daira Hopwood (abolish ICE) Retweeted Daira Hopwood (abolish ICE)
https://twitter.com/feministPLT/status/1195082918315646976 … (Noether was never implemented, but I intend to get back to it in the not-too-distant future.)
Daira Hopwood (abolish ICE) added,
Daira Hopwood (abolish ICE) @feministPLTThe suggestion of a compiler-supported "secret" annotation is similar to something I suggested, with credit to@zooko, in my presentation at Strange Loop 2013 (sides at https://github.com/noether-lang/noether/blob/master/doc/presentations/StrangeLoop/noether.pdf …). https://twitter.com/jedisct1/status/1186443466861088769 … pic.twitter.com/tSdiGXmLM01 reply 1 retweet 16 likes
Replying to @feministPLT @geggleto
Awesome news!
1:05 PM - 14 Nov 2019
from Manhattan, NY
0 replies
0 retweets
2 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.