{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Oxide and Friends","title":"Mr. Leventhal, Come here I want to see you","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/9cba1a23\"></iframe>","width":"100%","height":180,"duration":1865,"description":"Oxide and Friends Twitter Space: May 3, 2021\nMr. Leventhal, Come here I want to see you\nWe’ve been holding a Twitter Space on Mondays at 5p for about an hour. Even though it’s not (yet?) a feature of Twitter Spaces, we have been recording them all; here is the recording for our Twitter Space for May 3, 2021.\nIn addition to Bryan Cantrill and Adam Leventhal, speakers on May 3rd included Laura Abbott, Nate, Antranig Vartanian, François Baldassari, Tom Killalea, Land Belenky, and Sid?. (Did we miss your name and/or get it wrong? Drop a PR!)\nBefore the recording started, we discussed:\n2011 Solaris Family Reunion video ~20mins\nKatie Moussouris’s blog entry on the Clubhouse vulnerabilities\nLaura’s blog entry on the LPC55 vulnerability\nLand pointing us to the Atmega 328p MCU in a BK Medical endorectal probe\nFrançois on the STM32F103 found in Pebble\nIntel Management Engine\nSome of the topics we hit on, in the order that we hit them:\nASPEED BMC chip\n[@1:24](https://youtu.be/h-WSU3kiXVg?t=84) So formal correctness is something that I think we are all very sympathetic with. > It’s very laudable, it’s also very hard.From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? (paper)\nWho guards the guards? Formal validation of the Arm v8-m architecture specification (paper) > Hardware architecture is an area where formal verification is more tenable, > a level you can readily reason about.\nOur challenge is how can we satisfy our need for formalism without getting too pedantic about it. You don’t want to lose the forest for the trees.\n A system we never deliver doesn’t actually improve anyone’s lives, that’s the challenge.\n[@5:20](https://youtu.be/h-WSU3kiXVg?t=320) Journal club experiencesBootstrapping Trust in Modern Computers (book) > [@9:45](https://youtu.be/h-WSU3kiXVg?t=585) > We’ve tried to build a culture of looking to other work that’s been done. > Not because everything’s been done before, but because you don’t want to have to > relearn something that someone...","thumbnail_url":"https://img.transistorcdn.com/cVYTzMGAZ_7gNn2i7iJYSuWlQOM4wHdJAzEuWrnLo9A/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS80OGI3/NjA5NWY4Yjc4NzE0/ZGI5ZmMzZmY4MjFi/YThiYy5wbmc.webp","thumbnail_width":300,"thumbnail_height":300}