With that approach, when we negotiate what options/modes/extensions you're going to use, we do it just once and handcuff ourselves to the corresponding linearized set of state transitions. That is the only order we will then follow. An out of order message shuts everything down.
-
-
The first tool I used to this with what TLA+, because I'd used it before, and we use it to verify state machines elsewhere at AWS, such as our implementations of PAXOS, the state machines at the core of the S3 Load Balancer, AWS HyperPlane, and Elastic Block Store.
- 3 more replies
New conversation -
-
-
Great read, thanks! Could you comment on the utility (or otherwise) of concolic testing?
-
I had to look up what it is! Sounds super cool. We do use directed fuzzing, which has a similar goal.
End of conversation
New conversation -
-
-
That's not automated, but thankfully it doesn't change much. There's only so many TLS extensions!
- 2 more replies
New conversation -
-
-
Bonjour there is your unroll: Thread by
@colmmacc: "Thursday tweet thread time! This one is all about what we do in Amazon s2n to prevent security issues similar to this we […]" https://threadreaderapp.com/thread/1053031892734242817.html … Have a good day.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@threaderapp please unroll this thread! -
Hallo you can read it here: Thread by
@colmmacc: "Thursday tweet thread time! This one is all about what we do in Amazon s2n to prevent security issues similar to this we […]" https://threadreaderapp.com/thread/1053031892734242817.html … Enjoy :)
End of conversation
New conversation -
-
-
Incredible thinking out of the box.
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.