Registered user since Thu 15 Nov 2018

Name:Mathias Vorreiter Pedersen
Affiliation:Aarhus University

Contributions

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