POCL 2024
15 videos • 77 views • by ACM SIGPLAN
POCL 2024 - Principles of Capability Languages
1
[POCL'24] The state of Morello and CHERI
ACM SIGPLAN
Download
2
[POCL'24] The state of Morello software and projects
ACM SIGPLAN
Download
3
[POCL'24] The Morello ISA semantics, proof, and test generation
ACM SIGPLAN
Download
4
[POCL'24] Morello Cerise: proving secure encapsulation (work in progress)
ACM SIGPLAN
Download
5
[POCL'24] Compartmentalisation models
ACM SIGPLAN
Download
6
[POCL'24] Proving capability safety in the presence of indirect sentries
ACM SIGPLAN
Download
7
[POCL'24] Sealed with a Library Call: Memory Allocators Should Track Capability Seal Opera...
ACM SIGPLAN
Download
8
[POCL'24] Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Pr...
ACM SIGPLAN
Download
9
[POCL'24] Morello software and compilers
ACM SIGPLAN
Download
10
[POCL'24] CHERI C semantics
ACM SIGPLAN
Download
11
[POCL'24] CHERI static analysis
ACM SIGPLAN
Download
12
[POCL'24] ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESB...
ACM SIGPLAN
Download
13
[POCL'24] Rust on Morello
ACM SIGPLAN
Download
14
[POCL'24] Concurrent Mutation must go
ACM SIGPLAN
Download
15
[POCL'24] Object Capabilities
ACM SIGPLAN
Download