Ruhr-Uni-Bochum

Cezar-Constantin Andrici

Institution: Max Planck Institute for Security and Privacy

E-Mail: cezar.andrici@mpi-sp.org

Website: https://cezarandrici.com/

Publications:

Securing Verified IO Programs Against Unverified Code in F* SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F* Securing Verified IO Programs Against Unverified Code in F*

Back to overview