All Posts

I have recently updated the material of my Advanced Operating System course with an analysis of the new EEVDF scheduler. Here are my notes.

Together with one of my former students, we recently published a paper on the IEEE Internet of Things Journal that component-level updates with live state transfer in an existing embedded operating system for flash-based microcontrollers.

In this post, I'll explore how speculative execution can be maliciously exploited through a technique known as *branch target injection*. Moreover, we'll discuss a solution implemented in the Linux kernel which is known as retpoline.

Se sei un appassionato di tecnologia RISC-V e vuoi condividere le tue esperienze o conoscenze sulla piattaforma con la comunità della regione settentrionale dell’Italia, questa è la tua opportunità.

Together with one of my former students, we recently published a paper on the ACM Transactions on Embedded Computing Systems that explores alternative ways of performing remote attestation