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: "MailScanner has detected a possible fraud attempt from "www.google.com" claiming to be https://www.ics.uci.edu/~aburtsev/doc/redleaf-hotos19.pdf"

presented by: sojkam1