Sean Anderson -

Registered user since Tue 28 Jan 2020

Name:Sean Anderson

Affiliation:Portland State University

Contributions

CPP 2021	Author of Towards formally verified compilation of tag-based policy enforcement within the CPP 2021-track
PriSC 2020	Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track