![Profile Image](https://pbs.twimg.com/profile_images/1489208350814490624/r9sE3UUT_normal.jpg)
Joanna Rutkowska @rootkovska
@BenLaurie https://t.co/xQRUeBaCp5 "The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source." Also see: https://t.co/uDdrWcCH7h ;) — PolitiTweet.org