Johan Bay

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Binary Relations

Security Policies

Background Knowledge

Top Venues

Proc. ACM Program. Lang.

Publications

Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal
Mechanized logical relations for termination-insensitive noninterference. Proc. ACM Program. Lang. 5 (POPL) (2021)
Johan Bay, Aslan Askarov
Reconciling progress-insensitive noninterference and declassification. CoRR (2020)
Johan Bay, Aslan Askarov
Reconciling progress-insensitive noninterference and declassification. CSF (2020)