Yes, and those CPUs will be randomized and encrypted on top of FPGA platforms 3D-printed at home, in tamper-proof casings with a self-destruct functionality.
-
-
-
They’ll run encrypted programs with indistinguishability obfuscation based on multilinear maps
End of conversation
New conversation -
-
-
that would actually be pretty cool... ... if seL4 even ran on risc-v
-
yes, because I totally want the security of my system to depend on an outdated port by some rando on the internet
- 1 more reply
New conversation -
-
-
s/RUST/RUST+GO2/g
- End of conversation
New conversation -
-
-
Sounds like my Mondays at
@galoisThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Tweet unavailable
- End of conversation
New conversation -
-
therefore aliens!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
In case you did not come across seL4 before, https://en.wikipedia.org/wiki/L4_microkernel_family …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
subscribe
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
haha :) I guess the future is what you make it?
End of conversation
New conversation -
-
So… aliens?
-
aliens, man. Full disclosure will come when we have no more memory leaks or buffer overruns. And maybe when the doomsday clock is back near 11pm.
End of conversation
New conversation -
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.