Giters
secure-compilation

secure-compilation

Geek Repo

SECOMP: Efficient Formally Secure Compilers to a Tagged Architecture https://secure-compilation.github.io and https://secure-compilation.zulipchat.com/register

Home Page:https://secure-compilation.github.io

Github PK Tool:Github PK Tool

secure-compilation's repositories

exploring-robust-property-preservation

Coq development for "Journey Beyond Full Abstraction" paper

Language:CoqLicense:Apache-2.0Stargazers:8Issues:6Issues:0

when-good-components-go-bad

Coq formalization for "When Good Components Go Bad" paper

Language:CoqLicense:Apache-2.0Stargazers:7Issues:4Issues:1

CompCert

SECOMP formally secure compiler, based on CompCert

Language:CoqLicense:NOASSERTIONStargazers:6Issues:2Issues:5

beyond-good-and-evil

Auxiliary materials for "Beyond Good and Evil" paper

Language:CoqLicense:Apache-2.0Stargazers:3Issues:3Issues:2

SecurePtrs

Coq formalization for "SecurePtrs" paper

Language:CoqLicense:Apache-2.0Stargazers:3Issues:2Issues:0

different_traces

The Coq development for "Trace-Relating Compiler Correctness and Secure Compilation" paper

Language:CoqLicense:Apache-2.0Stargazers:1Issues:3Issues:0

secure-compilation.github.io

Code for SECOMP project website: https://secure-compilation.github.io

Language:HTMLStargazers:1Issues:4Issues:0

ds-2018

Materials of Dagstuhl Seminar 18201 on Secure Compilation (May 13-18, 2018)

Stargazers:0Issues:3Issues:0