Toggle navigation
Sign in
Sign up
conf.researchr.org
/
CHR Chhak
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
Registered user since Tue 22 Dec 2020
Name:
CHR Chhak
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 18:21