Repositories list

• SECOMP

  Public
  SECOMP formally secure compiler for compartmentalized C programs (based on CompCert)

  Coq

  •

  Other

  •229•6•5•2•Updated Nov 4, 2024Nov 4, 2024

• secure-compilation.github.io

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

  HTML

  •0•1•0•0•Updated Mar 16, 2024Mar 16, 2024

• when-good-components-go-bad

  Public
  Coq formalization for "When Good Components Go Bad" paper

  undefined-behaviorcompartmentalizationsecure-compilation+ 3tagged-architecturessoftware-fault-isolationcoq

  Coq

  •

  Apache License 2.0

  •1•7•1•1•Updated Feb 9, 2024Feb 9, 2024

• exploring-robust-property-preservation

  Public
  Coq development for "Journey Beyond Full Abstraction" paper

  Coq

  •

  Apache License 2.0

  •0•8•0•0•Updated Aug 26, 2022Aug 26, 2022

• SecurePtrs

  Public
  Coq formalization for "SecurePtrs" paper

  coqcapabilitiescompartmentalization+ 1secure-compilation

  Coq

  •

  Apache License 2.0

  •0•3•0•0•Updated Jun 3, 2022Jun 3, 2022

• different_traces

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

  Coq

  •

  Apache License 2.0

  •0•2•0•0•Updated Aug 4, 2020Aug 4, 2020

• ds-2018

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

  0•0•0•0•Updated Nov 9, 2018Nov 9, 2018

• beyond-good-and-evil

  Public
  Auxiliary materials for "Beyond Good and Evil" paper

  Coq

  •

  Apache License 2.0

  •0•3•2•0•Updated Feb 16, 2018Feb 16, 2018