Mathias V. Pedersen

According to our database, Mathias V. Pedersen authored at least 3 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Programming with Flow-Limited Authorization: Coarser is Better.

Mathias Vorreiter Pedersen, Stephen Chong

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

Static Enforcement of Security in Runtime Systems.

Mathias Vorreiter Pedersen, Aslan Askarov

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2017

From Trash to Treasure: Timing-Sensitive Garbage Collection.

Mathias V. Pedersen, Aslan Askarov

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017