Explore a conference talk from Lambda Days 2024 where Fernanda Andrade discusses how property-based testing can be used to verify information-flow control (IFC) mechanisms for data security. Learn about the challenges in safeguarding sensitive data and how generating random lambda terms can help identify errors early in the verification process of IFC mechanisms. This 21-minute presentation demonstrates practical approaches to streamlining security verification in today's digital world where data protection is increasingly crucial.