Research topics

My research addresses the use of virtualization and state-of-the-art features offered by hardware vendors to increase the safety and security of a system. Therefore my main interests include safe and secure cyber-physical systems, operating systems and firmware, hypervisors, and edge computing.

Publications

Here below you can find a (per-year) summary of articles published on international conference/workshop proceedings and on international journals. For each article, you can access the preprint version (gears icon) or the published one (padlock icon).

  • List of publications
  • 2024
  • 2023
    • Pietro Fara, Gabriele Serra, Federico Aromolo
      Bounded transmission latency in real-time edge computing: a scheduling analysis [] []
      2023 26th Euromicro Conference on Digital System Design (DSD)
    • Gabriele Serra, Pietro Fara, Daniel Casini
      Enhancing the Availability of Web Services in the IoT-to-Edge-to-Cloud Compute Continuum: A WordPress Case Study []
      2023 26th Euromicro Conference on Digital System Design (DSD)
    • Sandro Di Leonardi, Federico Aromolo, Pietro Fara, Gabriele Serra, Daniel Casini, Alessandro Biondi, Giorgio Buttazzo
      Maximizing the Security Level of Real-Time Software while Preserving Temporal Constraints [] []
      Volume 11/2023 of IEEE Access
  • 2022
    • Gianluca Roascio, Gabriele Serra, Vahid Eftekhari Moghadam
      Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems [] []
      Proceedings of the 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Maldives, Maldives
    • Gabriele Serra, Pietro Fara
      No-more-unbounded-blocking queues: bounding transmission latencies in real-time edge computing []
      Proceedings of the 1st Real-time And intelliGent Edge computing workshop (RAGE 2022), San Francisco, CA, USA
    • Gabriele Serra, Sandro Di Leonardi, Alessandro Biondi
      X-RIPE: A Modern, Cross-Platform Runtime Intrusion Prevention Evaluator []
      Proceedings of the 16th annual workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2022), Modena, Italy
    • Gabriele Serra, Pietro Fara, Giorgiomaria Cicero, Francesco Restuccia, Alessandro Biondi
      PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms [] []
      2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)
  • 2021
    • Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta
      ReTiF: A declarative real-time scheduling framework for POSIX systems [] []
      Volume 118 of Journal of Systems Architecture
    • Pietro Fara, Gabriele Serra, Alessandro Biondi, Ciro Donnarumma
      Scheduling Replica Voting in Fixed-Priority Real-Time Systems [] []
      Leibniz International Proceedings in Informatics (LIPIcs) of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021)
  • 2020
    • Gabriele Serra, Gabriele Ara, Pietro Fara, Tommaso Cucinotta
      An Architecture for Declarative Real-Time Scheduling on Linux [] []
      Proceedings of the 23rd International Symposium on Real-Time Distributed Computing (ISORC 2020), Nashville, TN, USA
  • 2019
    • Ciro Donnarumma, Pietro Fara, Gabriele Serra, Sandro Di Leonardi, Mauro Marinoni
      EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel [] []
      Proceedings of the 30th International Symposium on Software Reliability Engineering Workshops (ISSREW 2019), Berlin, Germany

Theses

Both my Bachelor's degree and my Master's degree terminated with the dissertation of a thesis. My Master thesis was covered by a three-year-NDA agreement due to the involvement of an industrial company. Eventually, you will find it.