Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sean Anderson
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
Registered user since Tue 28 Jan 2020
Name:
Sean Anderson
Affiliation:
Portland State University
Contributions
2021
CPP
Author of Towards formally verified compilation of tag-based policy enforcement within the CPP 2021-track
2020
PriSC
Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track
Share
x
Sat 21 Dec 17:44