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 work-in-progress presentation on Morello Cerise, focusing on proving secure encapsulation. Join Angus Hammond and Ricardo Almeida as they delve into this cutting-edge research topic during an 11-minute conference talk at POCL'24, organized by ACM SIGPLAN. Gain insights into the latest developments in secure encapsulation techniques and their potential applications in computer science and programming languages.
