Monday mini mini-thread! AWS SideTrail, built by the automated reasoning group here at AWS, is the coolest formal analysis tool I've seen yet, because it catches bugs I've actually written! and the kind of bugs that have escaped careful code review.https://aws.amazon.com/blogs/security/how-aws-sidetrail-verifies-key-aws-cryptography-code/ …
-
-
Fits right in with regression tests, like we've done in s2n: now running on every build! Anyway, end of thread, and read the code! It uses Boogie and LLVM and other amazing tricks.https://github.com/awslabs/s2n/tree/master/tests/sidetrail …
Show this threadThanks. 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.