Paper for this week is “RedLeaf: Towards An Operating System for Safe and Verified Firmware“ see link below. Let’s meet again after the break on skype https://join.skype.com/pOlX58h9C5Fa fri 15th at 13:00 Title: RedLeaf: Towards An Operating System for Safe and Verified Firmware authors: "Narayanan, Vikram and Baranowski, Marek and Ryzhyk, Leonid and Rakamaric, Zvonimir and Burtsev, Anton" year: 2019 url: "https://www.ics.uci.edu/~aburtsev/doc/redleaf-hotos19.pdf" presented by: sojkam1