Cezar-Constantin Andrici

According to our database, Cezar-Constantin Andrici authored at least 6 papers between 2019 and 2026.

Collaborative distances:

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

2026

Misquoted No More: Securely Extracting F* Programs with IO.

Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, Théo Winterhalter

CoRR, February, 2026

2025

SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F.

Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter

Proc. ACM Program. Lang., 2025

2024

Securing Verified IO Programs Against Unverified Code in F.

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

Proc. ACM Program. Lang., January, 2024

2023

Securely Compiling Verified F* Programs With IO.

Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter

CoRR, 2023

2020

Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny.

Cezar-Constantin Andrici, Stefan Ciobaca

CoRR, 2020

2019

Verifying the DPLL Algorithm in Dafny.

Cezar-Constantin Andrici, Stefan Ciobaca

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019