Formal Verification of a C Compiler Front-End. - Sandrine Blazy; Zaynah Dargaye; Xavier Leroy (FM, 2006)

Mechanized Verification of CPS Transformations. - Zaynah Dargaye; Xavier Leroy (LPAR, 2007)

A verified framework for higher-order uncurrying optimizations. - Zaynah Dargaye; Xavier Leroy (High. Order Symb. Comput., 2009)

Vérification formelle d'un compilateur optimisant pour langages fonctionnels. (Formal verification of an optimizing compiler for functional languages). - Zaynah Dargaye (2009)

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft. - Zaynah Dargaye; Antonella Del Pozzo; Sara Tucci Piergiovanni (CoRR, 2018)

Towards Secure and Trusted-by-Design Smart Contracts. - Zaynah Dargaye; Önder Gürcan; Florent Kirchner; Sara Tucci Piergiovanni (CoRR, 2024)