What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications. - Simon Rokicki; Davide Pala; Joseph Paturel; Olivier Sentieys (ICCAD, 2019)

Fast Cross-Layer Vulnerability Analysis of Complex Hardware Designs. - Joseph Paturel; Angeliki Kritikakou; Olivier Sentieys (ISVLSI, 2020)

Functional and Timing Implications of Transient Faults in Critical Systems. - Angeliki Kritikakou; Panagiota Nikolaou; Ivan Rodriguez-Ferrandez; Joseph Paturel; Leonidas Kosmidis; Maria K. Michael; Olivier Sentieys; David Steenari (IOLTS, 2022)

SmolPhone: a smartphone with energy limits. - Joseph Paturel; Clément Quinson; Martin Quinson; Simon Rokicki (IGSC, 2023)

Lightweight Hardware-Based Cache Side-Channel Attack Detection for Edge Devices (Edge-CaSCADe). - Pavitra Prakash Bhade; Joseph Paturel; Olivier Sentieys; Sharad Sinha (ACM Trans. Embed. Comput. Syst., 2024)

Exploring Speculation Barriers for RISC-V Selective Speculation. - Herinomena Andrianatrehina; Ronan Lashermes; Joseph Paturel; Simon Rokicki; Thomas Rubiano (ARES (2), 2025)