Registered user since Thu 15 Nov 2018

Name: Mathias Vorreiter Pedersen

Affiliation: Aarhus University

Contributions

PriSC 2019Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track