Mathias Vorreiter Pedersen

  • Computer science PhD student at Aarhus University
  • Phone: +45 31 17 15 75
  • Email: mvp [at] cs . au . dk
  • Office: Turing 218
  • Interests
    • Programming language design and implementation
    • Semantics of programming languages
    • Computer security
  • My GitHub repositories

  • I've been a teaching assistant for the following courses
    • 4 x Compilation
    • 1 x Programming Languages

About me

I'm a PhD student in the Logic and Semantics group at Aarhus University, supervised by Aslan Askarov.


  • From trash to treasure: timing-sensitive garbage collection
      In Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P'17). Mathias V. Pedersen and Aslan Askarov
  • Programming with Flow-Limited Authorization: Coarser is Better
      In Proceedings of the 4th IEEE Symposium on European Security and Privacy (EuroS&P'19). Mathias V. Pedersen and Stephen Chong
  • Static Enforcement of Security in Runtime Systems
      In Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF'19). Mathias V. Pedersen and Aslan Askarov
  • Other somewhat interesting things

  • Research
    • As part of my work on timing-secure garbage collection I have done a formal proof of timing-sensitive noninterference for a security-typed WHILE language with garbage collected heaps in Coq. The proof can be found on GitHub.
  • Spare-Time Teaching