Block or Report
Block or report akramelkorashy
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
clang
clang PublicForked from CTSRD-CHERI/clang
Fork of Clang with CHERI support and capability extensions
C++
-
-
when-good-components-go-bad
when-good-components-go-bad PublicForked from secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Coq
-
secure-compilation/when-good-components-go-bad
secure-compilation/when-good-components-go-bad PublicCoq formalization for "When Good Components Go Bad" paper
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.