Block or report user

Organizations

@CTSRD-TESLA @CTSRD-SOAAP

Popular repositories

  1. libsep

    libsep (separation library). Contains a minimal RPC library to assist compartmentalisation of small applications.

    C 6 1

  2. TESLA

    Forked from CTSRD-TESLA/TESLA

    Temporally Enforced Security Logic Assertions

    C 1

  3. clang

    Forked from CTSRD-TESLA/clang

    My copy of the LLVM Clang frontend, mirrored from http://llvm.org/git/clang.git, with some changes for my research.

    C++ 1

  4. llvm

    Forked from CTSRD-TESLA/llvm

    My copy of the LLVM Clang frontend, mirrored from http://llvm.org/git/llvm.git, with some changes for my research.

    C++ 1

  5. fetch_c

    A compartmentalised BSD fetch.

    C 1 2

  6. libfetch_c

    libfetch-OpenSSL decoupling into different processes.

    C 1 3

8 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity First issue First repository Joined GitHub

January - August 2017

marinosi has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.