Joanna Rutkowska

@rootkovska ↗

Deleted No

Hibernated No

Last Checked Nov. 19, 2022

Created

Tue Oct 25 09:05:17 +0000 2016

Likes

Retweets

Source

TweetDeck

View Raw Data

JSON Data

View on Twitter

Likely Available

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

Preceded By

Joanna Rutkowska @rootkovska

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

Posted Oct. 25, 2016

Followed By

Joanna Rutkowska @rootkovska

ISTM, IntelSGX Monotonic Counters can be trivially attacked by reverting the SPI flash content back to a saved one? Am I missing smth here? — PolitiTweet.org

Posted Oct. 25, 2016