Popular repositories Loading

1. asiaccs2020 asiaccs2020 Public

   Additional material for the paper "Return-Oriented Programming on RISC-V" published in Asiaccs 2020

   C++ 5

2. petitghc petitghc Public

   Forked from cyru/petitghc

   This contains my work for the compilation project.

   OCaml

3. staticanalyzer staticanalyzer Public

   Forked from cyru/staticanalyzer

   Static analyzer project.

   OCaml

4. miasm miasm Public

   Forked from cea-sec/miasm

   Reverse engineering framework in Python

   Python

5. SPARKtestsuite SPARKtestsuite Public

   Ada

6. SPARKExamples SPARKExamples Public

   Examples implemented by Claire Dross for the SPARK proof tool enriched with pointers

   Ada