Cezar-Constantin Andrici

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

Collaborative distances:

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

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

CoRR, March, 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