Coursera Plus Annual is 40% Off — Ends July 6.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Morello Cerise - Proving Secure Encapsulation - Work in Progress

ACM SIGPLAN via YouTube

Start learning Write review
DataCamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More → CodeSignal Ad

Learn Generative AI, Prompt Engineering, and LLMs for Free

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.

Syllabus

[POCL'24] Morello Cerise: proving secure encapsulation (work in progress)

Taught by

ACM SIGPLAN

Reviews

Start your review of Morello Cerise - Proving Secure Encapsulation - Work in Progress

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.