dasnacl
  • blog
  • publications

I'm salt.

I enjoy working with compilers and programming languages, their design, theory, and implementation. My current research interest is secure compilation.

dasnacl

Blog

2023 September 11

Introduction to Formal Compiler Security

Read more →
2022 December 15

Secure Compilation

Read more →
  • ← Prev
  • 1 of 1
  • Next →
  • feed
  • orcid
  • linkedin
  • github
  • codeberg
  • mastodon
  • twitter
  • ko-fi
  • discord

© 2024 Matthis Kruse • Unless otherwise noted, the content in this website is available under the CC BY-SA 4.0 license.