About
Johan Bay is affiliated with Aarhus University, focusing on computer science research areas such as secure compilation and formal verification. His work primarily addresses security policies and compiler design, with a strong emphasis on mechanized verification techniques.
Research Interests: Johan's research lies at the intersection of secure compilation and programming languages. He investigates formal methods for enforcing noninterference properties, while balancing practical requirements for declassification mechanisms in software systems. His work also explores high-concurrency, low-latency sandboxing solutions.
Article Trends: His recent publications demonstrate consistent contributions to secure compilation frameworks, with a progression from theoretical reconciliations of security properties (2020) to mechanized verification approaches (2021). The work spans formal security guarantees, concurrency challenges, and practical compiler implementations.
