Introductory notes on the new Linux scheduler (EEVDF)
I have recently updated the material of my Advanced Operating System course with an analysis of the new EEVDF scheduler. Here are my notes.
Blog
Notes and writing.
10 posts
ConceptOS, A Micro-Kernel Approach to Firmware Updates of Always-On Resource-Constrained Hubris-Based IoT Systems
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.
A short intro to retpolines
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.
Call per contributi per primo meetup RISCV @ Polimi
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à.
Interruptible Remote Attestation of Low-End IoT Microcontrollers via Performance Counters
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
Efficient Attack-Surface Exploration for Electromagnetic Fault Injection
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.
Haskell and dependent pairs
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.
Symbolic analysis of side channel countermeasures
Cryptography’s current research trends show that there is an increasing concern about identifying if a side-channel countermeasure is vulnerable to higher-order attacks. In this post, I'll recap the major findings of a paper I've co-authored with two colleagues.
Using a cheap STM32 Nucleo to teach remote sensor monitoring
One of the major struggles as a University professor is to create compelling examples for introductory courses to computer science. In this small post, I'll sum up how I've built a small embedded system for teaching remote temperature monitoring.
Towards template programming in Haskell
Template Haskell promises to be the next 'big thing' for parallel code generation. In this short blog post, I'll guide you through some very simple examples showing the power of Template Haskell.