Morello Cerise - Proving Secure Encapsulation - Work in Progress
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
Related Courses
The Rust Programming LanguageUdemy Rust for Beginners: Learn Rust in 4 Hours
Udemy Learn Rust by Building Real Applications
Udemy Rust Essential Training
LinkedIn Learning Rust
Exercism