Joanna Rutkowska @rootkovska
Oh, wait a sec! What about seL4's famous formal proof of implementation correctness? ;) https://t.co/4MdPszbAnZ — PolitiTweet.org
Genode Labs @GenodeLabs
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