YoVDO

Morello Cerise - Proving Secure Encapsulation - Work in Progress

Offered By: ACM SIGPLAN via YouTube

Tags

Formal Verification Courses Computer Architecture Courses Memory Safety Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube