Publications

(2026). On-Chip Programmable Traffic Injection for Flexible Cache Coherence Validation. Proceeding of ERTS 2026 on Embedded Real Time Systems.
(2026). Introduction to Post Quantum Cryptography for Resource Constrained Systems. 2026 IEEE European Test Symposium (ETS).
DOI
(2026). Hardware-Enforced Throughput Quotas for Mitigating Accelerator Interference in Mixed-Criticality SoCs. Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions.
(2026). Application of Tiny RISC-V: Invited paper. Proceedings of the 23rd ACM International Conference on Computing Frontiers: Workshops and Special Sessions.
(2025). Flexible Software-Only Diverse Redundancy on COTS GPUs for Safety-Related Kernels. 2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).
DOI
(2025). Expanding SafeSU capabilities by leveraging security frameworks for contention monitoring in complex SoCs. Future Generation Computer Systems.
(2024). On-chip Traffic Injection to Counteract Timing Side-Channel Attacks. ERTS2024.
(2024). SafeTI: A Hardware Traffic Injector for Complex MPSoC Platform Validation and Characterization. Association for Computing Machinery.
(2023). SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core. Proceedings - 2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023.
DOI
(2023). Black-Box IP Validation with the SafeTI Traffic Injector: A Success Story. Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT.
DOI
(2023). Analysis of Kernel Redundancy for Soft Error Mitigation on Embedded GPUs. IEEE Transactions on Nuclear Science.
DOI
(2022). Unboxing the Sand: on Deploying Safety Measures in the Programmable Logic of COTS MPSoCs. 11th European Congress Embedded Real Time Systems ( ERTS 2022 ).
(2022). SafeSU-2: a Safe Statistics Unit for Space MPSoCs. Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022.
DOI
(2022). SafeDX: Standalone Modules Providing Diverse Redundancy for~Safety-Critical Applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
DOI
(2022). SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores. Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022.
DOI
(2022). SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores. IEEE Transactions on Device and Materials Reliability.
DOI
(2022). De-RISC: A Complete RISC-V Based Space-Grade Platform. Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022.
DOI
(2022). Achieving Diverse Redundancy for GPU Kernels. IEEE Transactions on Emerging Topics in Computing.
DOI
(2021). SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation. 2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS).
(2021). SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping. 2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS).
(2021). SafeSU: an Extended Statistics Unit for Multicore Timing Interference. 2021 IEEE European Test Symposium (ETS).
(2020). Software-only triple diverse redundancy on GPUs for autonomous driving platforms. Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume, DSN-S 2020.
DOI
(2020). Software-only based Diverse Redundancy for ASIL-D Automotive Applications on Embedded HPC Platforms. 2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).
(2019). Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms. 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS).
(2019). High-Integrity GPU Designs for Critical Real-Time Automotive Systems. 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
(2017). DIMP: A Low-Cost Diversity Metric Based on Circuit Path Analysis. Proceedings of the 54th Annual Design Automation Conference 2017.