Johan Bay

According to our database, Johan Bay authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Mechanized logical relations for termination-insensitive noninterference.

Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., 2021

2020

Reconciling progress-insensitive noninterference and declassification.

Johan Bay, Aslan Askarov

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020