Ruhr-Uni-Bochum
Catalin

Cătălin Hrițcu

Institution: Max Planck Institute for Security and Privacy / CASA

Research Hub(s):

Hub A: Kryptographie der Zukunft
Hub B: Eingebettete Sicherheit
Hub C: Sichere Systeme

E-Mail: Catalin.Hritcu@mpi-sp.org

Website: https://www.mpi-sp.org/hritcu

Publikationen:

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation Dynamic IFC Theorems for Free! SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Zurück zur Übersicht