{"id": 790841650494992384, "geo": null, "lang": "en", "text": "Yes, I know [1]. But most ppl: \"Oh, let's use this formally-verified ukernel, b/c it's *proved* to be secure!\"\n\n[1]\u2026 https://t.co/A5jtCq9imB", "user": {"id": 2695392493, "url": "https://t.co/M1Oty4CtZm", "lang": "en", "name": "Joanna Rutkowska", "id_str": "2695392493", "entities": {"url": {"urls": [{"url": "https://t.co/M1Oty4CtZm", "indices": [0, 23], "display_url": "blog.invisiblethings.org", "expanded_url": "https://blog.invisiblethings.org"}]}, "description": {"urls": []}}, "location": "Warsaw", "verified": true, "following": true, "protected": false, "time_zone": null, "created_at": "Thu Jul 31 10:24:07 +0000 2014", "utc_offset": null, "description": "Strategy & security at @golemproject. Previously: founder of @QubesOS and Invisible Things Lab. Distrusts computers.", "geo_enabled": false, "screen_name": "rootkovska", "listed_count": 696, "friends_count": 125, "is_translator": false, "notifications": false, "statuses_count": 5233, "default_profile": false, "followers_count": 26534, "translator_type": "none", "favourites_count": 2983, "profile_image_url": "http://pbs.twimg.com/profile_images/1002520385156509697/PhUHrM3y_normal.jpg", "profile_banner_url": "https://pbs.twimg.com/profile_banners/2695392493/1476009216", "profile_link_color": "303030", "profile_text_color": "333333", "follow_request_sent": false, "contributors_enabled": false, "has_extended_profile": true, "default_profile_image": false, "is_translation_enabled": false, "profile_background_tile": true, "profile_image_url_https": "https://pbs.twimg.com/profile_images/1002520385156509697/PhUHrM3y_normal.jpg", "profile_background_color": "131516", "profile_sidebar_fill_color": "EFEFEF", "profile_background_image_url": "http://abs.twimg.com/images/themes/theme14/bg.gif", "profile_sidebar_border_color": "FFFFFF", "profile_use_background_image": true, "profile_background_image_url_https": "https://abs.twimg.com/images/themes/theme14/bg.gif"}, "place": null, "id_str": "790841650494992384", "source": "TweetDeck", "entities": {"urls": [{"url": "https://t.co/A5jtCq9imB", "indices": [117, 140], "display_url": "twitter.com/i/web/status/7\u2026", "expanded_url": "https://twitter.com/i/web/status/790841650494992384"}], "symbols": [], "hashtags": [], "user_mentions": []}, "favorited": false, "retweeted": false, "truncated": true, "created_at": "Tue Oct 25 09:05:17 +0000 2016", "coordinates": null, "contributors": null, "quoted_status": {"id": 790837615134142464, "geo": null, "lang": "en", "text": "@rootkovska everything above the kernel is expected to behave like in the specs, any violation (e.g., HW error) may still fail seL4", "user": {"id": 232169311, "url": "https://t.co/ZqrHKLTcBZ", "lang": "en", "name": "Mathias Payer", "id_str": "232169311", "entities": {"url": {"urls": [{"url": "https://t.co/ZqrHKLTcBZ", "indices": [0, 23], "display_url": "nebelwelt.net", "expanded_url": "https://nebelwelt.net"}]}, "description": {"urls": []}}, "location": "Lausanne, Switzerland", "verified": false, "following": false, "protected": false, "time_zone": null, "created_at": "Thu Dec 30 12:26:51 +0000 2010", "utc_offset": null, "description": "I'm a security nerd and professor at @ICepfl leading the #HexHive group. Interests: system/software security, mitigation, sanitization, fuzzing, exploitation", "geo_enabled": true, "screen_name": "gannimo", "listed_count": 67, "friends_count": 273, "is_translator": false, "notifications": false, "statuses_count": 3400, "default_profile": false, "followers_count": 2934, "translator_type": "none", "favourites_count": 1295, "profile_image_url": "http://pbs.twimg.com/profile_images/908378214367670273/hRIK1T7f_normal.jpg", "profile_banner_url": "https://pbs.twimg.com/profile_banners/232169311/1491507630", "profile_link_color": "095731", "profile_text_color": "333333", "follow_request_sent": false, "contributors_enabled": false, "has_extended_profile": false, "default_profile_image": false, "is_translation_enabled": false, "profile_background_tile": false, "profile_image_url_https": "https://pbs.twimg.com/profile_images/908378214367670273/hRIK1T7f_normal.jpg", "profile_background_color": "095731", "profile_sidebar_fill_color": "DDEEF6", "profile_background_image_url": "http://abs.twimg.com/images/themes/theme1/bg.png", "profile_sidebar_border_color": "FFFFFF", "profile_use_background_image": false, "profile_background_image_url_https": "https://abs.twimg.com/images/themes/theme1/bg.png"}, "place": null, "id_str": "790837615134142464", "source": "Twitter Web Client", "entities": {"urls": [], "symbols": [], "hashtags": [], "user_mentions": [{"id": 2695392493, "name": "Joanna Rutkowska", "id_str": "2695392493", "indices": [0, 11], "screen_name": "rootkovska"}]}, "favorited": false, "retweeted": false, "truncated": false, "created_at": "Tue Oct 25 08:49:15 +0000 2016", "coordinates": null, "contributors": null, "retweet_count": 0, "favorite_count": 0, "is_quote_status": false, "in_reply_to_user_id": 2695392493, "in_reply_to_status_id": 790824358948339712, "in_reply_to_screen_name": "rootkovska", "in_reply_to_user_id_str": "2695392493", "in_reply_to_status_id_str": "790824358948339712"}, "retweet_count": 3, "favorite_count": 8, "is_quote_status": true, "quoted_status_id": 790837615134142464, "possibly_sensitive": false, "in_reply_to_user_id": null, "quoted_status_id_str": "790837615134142464", "in_reply_to_status_id": null, "in_reply_to_screen_name": null, "in_reply_to_user_id_str": null, "in_reply_to_status_id_str": null}