Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
