From Trash to Treasure: Timing-Sensitive Garbage Collection. - Mathias V. Pedersen; Aslan Askarov (IEEE Symposium on Security and Privacy, 2017)

Static Enforcement of Security in Runtime Systems. - Mathias Vorreiter Pedersen; Aslan Askarov (CSF, 2019)

Programming with Flow-Limited Authorization: Coarser is Better. - Mathias Vorreiter Pedersen; Stephen Chong (EuroS&P, 2019)