✨ 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. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync