"Provably secure" is BS. "Provably secure against attacks X, Y, Z" is achievable, and a good thing to have.https://twitter.com/galois/status/921064905763147776 …
-
-
I think the formal verification has to be created on the requirement level and then must applied on code or model …(1/2)
-
Not if you use a dependently typed language.
End of conversation
New conversation -
-
-
And especially all related parts needs to be linked (traceability). )2/2
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.