Davide Baroffio

Research topics: Software-Implemented Hardware Fault-Tolerance, Compilers, Real-Time, Cybersecurity, Safety-critical systems.

Davide Baroffio is a PhD student at the Department of Electronics, Information and Bio-engineering (DEIB) of Politecnico di Milano. He earned his MSc degree in Computer Science and Engineering cum Laude in 2023 and his primary research focus is on the hardening of safety- and mission-critical systems through compiler-injected Software-Implemented Hardware Fault Tolerance (SIHFT). To this date, Davide has two published papers on this subject, one of which he presented at the ACM International Conference on Computer Frontiers ‘23. In addition to his core research, Davide actively collaborates on projects related to distributed computing, embedded systems, real-time operating systems, and computer security as part of partnerships between Politecnico and external companies. He is also a dedicated tutor for the ‘Computer Science for Aerospace Engineering’ (Informatica per Aerospaziali) course, in which he supports Aerospace Engineering students by teaching the foundations of C programming.

Contacts

• Email: davide.baroffio@polimi.it
• Office: Building 21, Floor 1, Office 003

Projects

ASPIS

ASPIS - Automatic Software-based Protection and Integrity Suite - (from the ancient Greek Ἀσπίς Aspís, shield) is an out-of-tree plugin for LLVM that acts on the Intermediate-Representation (IR) in order to harden the code against Single-Event Upsets (SEUs).

Check it out on GitHub.