https://www.vittoriozaccaria.net/Academic profile, research, teaching, theses, and writing by Vittorio Zaccaria.enWed, 07 May 2025 00:00:00 GMThttps://www.vittoriozaccaria.net/blog/notes-on-linux-eevdf/https://www.vittoriozaccaria.net/blog/notes-on-linux-eevdf/Wed, 07 May 2025 00:00:00 GMTI have recently updated the material of my Advanced Operating System course with an analysis of the new EEVDF scheduler. Here are my notes.kernelschedulinghttps://www.vittoriozaccaria.net/blog/concept-os-ieee-iotj/https://www.vittoriozaccaria.net/blog/concept-os-ieee-iotj/Sat, 10 Feb 2024 00:00:00 GMTTogether 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.operating-systemsrustsecurityhttps://www.vittoriozaccaria.net/blog/a-short-intro-to-retpolines/https://www.vittoriozaccaria.net/blog/a-short-intro-to-retpolines/Tue, 14 Nov 2023 00:00:00 GMTIn 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.securitylinuxhttps://www.vittoriozaccaria.net/blog/first-riscv-meetup-polimi/https://www.vittoriozaccaria.net/blog/first-riscv-meetup-polimi/Tue, 07 Nov 2023 00:00:00 GMTSe 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à.riscvmeetupsecurityhttps://www.vittoriozaccaria.net/blog/tecs-23/https://www.vittoriozaccaria.net/blog/tecs-23/Tue, 12 Sep 2023 00:00:00 GMTTogether 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 attestationattestationmachine-learningsecurityhttps://www.vittoriozaccaria.net/blog/cosade-23/https://www.vittoriozaccaria.net/blog/cosade-23/Sat, 08 Apr 2023 00:00:00 GMTTogether 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.cryptographyfault topics/injectionhttps://www.vittoriozaccaria.net/blog/what-i-wish-i-knew-haskell-and-dependent-pairs/https://www.vittoriozaccaria.net/blog/what-i-wish-i-knew-haskell-and-dependent-pairs/Sat, 27 Jan 2018 00:00:00 GMTThis 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.haskellhttps://www.vittoriozaccaria.net/blog/symbolic-analysis-of-side-channel-countermeasures/https://www.vittoriozaccaria.net/blog/symbolic-analysis-of-side-channel-countermeasures/Sun, 03 Dec 2017 00:00:00 GMTCryptography’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.securityscahttps://www.vittoriozaccaria.net/blog/using-a-cheap-stm32-to-teach-remote-sensor-monitoring/https://www.vittoriozaccaria.net/blog/using-a-cheap-stm32-to-teach-remote-sensor-monitoring/Wed, 21 Oct 2015 13:55:44 GMTOne 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.stm32embedded topics/systemshttps://www.vittoriozaccaria.net/blog/towards-template-programming-with-haskell/https://www.vittoriozaccaria.net/blog/towards-template-programming-with-haskell/Mon, 24 Feb 2014 00:00:00 GMTTemplate 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.haskelldigital topics/signal topics/processing