Publications

• Cage: Hardware-Accelerated Safe WebAssembly. CGO'25, to appear.
  Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.
  [Pre-Print] [Artifact]

  Details & Source Code

  • LLVM
  • wasmtime
  • wasm-tools
  • wasi-libc

• Lasagne: a static binary translator for weak memory model architectures. PLDI'22.
  Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
  [Paper] [Artifact] [GitHub]

  Details & Source Code

  • Source code was merged into Microsoft’s static binary translator mctoll.

Theses

• Hardware-Assisted Memory Safety for WebAssembly. Master’s thesis, 2024.
  Martin Fink
  [Thesis]

• Translating x86 Binaries to LLVM Intermediate Representation. Bachelor’s thesis, 2021.
  Martin Fink
  [Thesis]