• Sign in
  • Sign up
conf.researchr.org / Sean Anderson
  • 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
xSun 26 Oct 19:45
using conf.researchr.org (v1.72.1)
Support page
Sign Up