"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 …
-
Show this thread
-
Formal verification is a very powerful tool. But you need to consider if you are proving the right things. Ask the right questions.
3 replies 3 retweets 6 likesShow this thread -
-
-
Replying to @andreasdotorg
but all this tools do not link atifacts to the specification, right? they are „just“ another interpretation of the specification?
1 reply 0 retweets 0 likes -
-
Replying to @andreasdotorg
I think the formal verification has to be created on the requirement level and then must applied on code or model …(1/2)
1 reply 0 retweets 0 likes
Replying to @kerka00
Not if you use a dependently typed language.
10:57 PM - 19 Oct 2017
0 replies
0 retweets
1 like
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.