Detecting Noninterference Violations with Property-Based Testing - Fernanda Andrade | Lambda Days 24

[CodeSync]

Detecting Noninterference Violations with Property-Based Testing - Fernanda Andrade | Lambda Days 24

Detecting Noninterference Violations with Property-Based Testing - Fernanda Andrade | Lambda Days 24

This talk was recorded at Lambda Days in June 2024. If you’re curious about our upcoming event, check https://lambdadays.org

Abstract
In today’s digital world, safeguarding sensitive data is crucial. Yet, the verification of information-flow control (IFC) mechanisms, vital for data security, poses challenges. This talk explores how we can streamline the verification of IFC mechanisms by incorporating property-based testing. This involves generating random lambda terms to test the functionality of IFC mechanisms. The advantage of this approach is that it helps identify errors early in the verification process.

Comments welcome! View the code-sync tag for more Code Sync talks!