Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Johan Bay
conf.researchr.org general profile
POPL 2020 profile
POPL 2021 profile
Not registered as user
Name:
Johan Bay
Affiliation:
Aarhus University
Contributions
2021
POPL
Author of Mechanized Logical Relations for Termination-Insensitive Noninterference within the POPL-track
2020
PriSC
Author of Reconciling progress-insensitive noninterference and declassification within the Principles of Secure Compilation 2020-track
Share
x
Tue 23 Sep 19:01