Strong Non-Interference and Type-Directed Higher-Order Masking. - Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre-Alain Fouque; Benjamin Grégoire; Pierre-Yves Strub; Rébecca Zucchini (CCS, 2016)

A Type Theory for Defining Logics and Proofs. - Brigitte Pientka; David Thibodeau 001; Andreas Abel 001; Francisco Ferreira 001; Rébecca Zucchini (LICS, 2019)

Cocon: Computation in Contextual Type Theory. - Brigitte Pientka; Andreas Abel 001; Francisco Ferreira 001; David Thibodeau 001; Rébecca Zucchini (CoRR, 2019)

A Coq formalization of data provenance. - Véronique Benzaken; Sarah Cohen-Boulakia; Evelyne Contejean; Chantal Keller; Rébecca Zucchini (CPP, 2021)

Bibliothèque certifiée en Coq pour la provenance des données. (A Coq certified library for data provenance). - Rébecca Zucchini (2023)

Modelling and Verifying Neuronal Archetypes in Coq. - Abdorrahim Bahrami; Rébecca Zucchini; Elisabetta De Maria; Amy P. Felty (CoRR, 2025)