Cezar-Constantin Andrici
Scholar

Cezar-Constantin Andrici

Google Scholar ID: -wbKY7sAAAAJ
MPI-SP
secure compilationformal verificationproof assistants
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
26
 
H-index
3
 
i10-index
1
 
Publications
5
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
2 items
Misquoted No More: Securely Extracting F* Programs with IO
2026
Cited
0
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
2025
Cited
0
Resume (English only)
Co-authors
4 total
Cătălin Hrițcu
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Théo Winterhalter
Théo Winterhalter
Inria Saclay
Co-author 3
Co-author 3
Guido Martínez
Guido Martínez
Microsoft Research