Rébecca Zucchini

According to our database, Rébecca Zucchini authored at least 6 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modelling and Verifying Neuronal Archetypes in Coq.

Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria, Amy P. Felty

CoRR, May, 2025

2023

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

Rébecca Zucchini

PhD thesis, 2023

2021

A Coq formalization of data provenance.

Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Cocon: Computation in Contextual Type Theory.

Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau, Rébecca Zucchini

CoRR, 2019

A Type Theory for Defining Logics and Proofs.

Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rébecca Zucchini

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2016

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

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016