Interesting Linux UDP CVE-2016-10229 (https://bugzilla.redhat.com/show_bug.cgi?id=1439740 …). What is the input validation lesson here?
-
-
-
Replying to @andreasdotorg
Maybe my next OS kernel course would have a Rust slant :)
1 reply 1 retweet 4 likes
Replying to @sergeybratus
That wouldn't be a bad choice. My summer project will be a X.509 parser in F*.
1:16 PM - 15 Apr 2017
0 replies
0 retweets
2 likes
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.