Cezar-Constantin Andrici

Registered user since Mon 22 Aug 2022

Name:Cezar-Constantin Andrici

Bio:

PhD student at MPI-SP

Country:Germany

Affiliation:MPI-SP

Research interests:Formal methods for security

Contributions

POPL 2023	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2023	Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed Interfaces
Show activities from other conferences