Rébecca Zucchini

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

Collaborative distances:

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

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