All Posts

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

Together with one of my former students and Security Pattern researchers, we recently presented a paper at Cosade 2023 that explores the use of low-cost devices to execute such attacks.

This is a more of a personal memo about dependent typing (and Haskell) than anything else. I expect to write more about this subject as I move forward to other subjects in type theory.