Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP)
-
MPI-SP
- Bochum, Germany
- https://catalin-hritcu.github.io
Block or Report
Block or report catalin-hritcu
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
-
secure-compilation/when-good-components-go-bad
secure-compilation/when-good-components-go-bad PublicCoq formalization for "When Good Components Go Bad" paper
-
SSProve/ssprove
SSProve/ssprove PublicA foundational framework for modular cryptographic proofs in Coq
-
micro-policies/micro-policies-coq
micro-policies/micro-policies-coq PublicCoq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Coq 19
-
QuickChick/QuickChick
QuickChick/QuickChick PublicRandomized Property-Based Testing Plugin for Coq
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.