Joanna Rutkowska

@rootkovska ↗

Deleted No

Hibernated No

Last Checked Nov. 19, 2022

Created

Tue Oct 25 07:58:35 +0000 2016

Likes

Retweets

Source

TweetDeck

View Raw Data

JSON Data

View on Twitter

Likely Available

Joanna Rutkowska @rootkovska

@orionwl @SarahJamieLewis https://t.co/3uYqQlJylW :) — PolitiTweet.org

Posted Oct. 25, 2016

Preceded By

Joanna Rutkowska @rootkovska

Oh, wait a sec! What about seL4's famous formal proof of implementation correctness? ;) https://t.co/4MdPszbAnZ — PolitiTweet.org

Looking for a nasty surprise? Just miss to switch off USB legacy and scan your PCI devices while moving the mouse https://t.co/lMKr4f2Yg9

Posted Oct. 25, 2016

Followed By

Joanna Rutkowska @rootkovska

Yes, I know [1]. But most ppl: "Oh, let's use this formally-verified ukernel, b/c it's *proved* to be secure!" [1]… https://t.co/A5jtCq9imB — PolitiTweet.org

@rootkovska everything above the kernel is expected to behave like in the specs, any violation (e.g., HW error) may still fail seL4

Posted Oct. 25, 2016