diff --git a/master-thesis.md b/master-thesis.md index 66d3fd7..06c19a2 100644 --- a/master-thesis.md +++ b/master-thesis.md @@ -98,33 +98,6 @@ for non-reproducible builds of Maven packages.

Automatic Reproduction of Maven Artifacts

-

Diverse-double compilation for Java

- -Contact: Martin Monperrus - -

Description: -Java is a key programming language for enterprise applications. As such, the Java compiler is an ideal target for a trusting trust attack. This thesis aims to investigate the feasibility of diverse-double compilation (DDC) to mitigate this problem You will design, implement and evaluate DDC for Java.

-
    -

  1. Reflections on Trusting Trust

    -
    2. -

  2. Countering trusting trust through diverse double-compiling

    -
    3. -

  3. Diverse Double-Compiling to Harden Cryptocurrency Software (Master's thesis KTH 2023)

    -
-

(a related crazy idea is to do diverse-double compilation for a JIT compiler)

- -

Diverse-double compilation in a CI/CD Pipeline

-

Description: -C is a fundamental programming language for system-level software. Given its widespread use, the C compiler is a prime -target for trusting trust attacks. This thesis aims to explore the systematic use of diverse-double compilation (DDC) in a modern Continuous Integration/Continuous Deployment (CI/CD) pipeline. You will design, implement and evaluate DDC in a CI/CD environment.

-
    -

  1. Reflections on Trusting Trust

    -
    2. -

  2. Countering trusting trust through diverse double-compiling

    -
    3. -

  3. Diverse Double-Compiling to Harden Cryptocurrency Software (Master's thesis KTH 2023)

    -
-

Dynamic Integrity Verification & Repair for Java Applications

Contact: Martin Monperrus