41:56

[POCL'24] The state of Morello and CHERI

ACM SIGPLAN

13:58

[POCL'24] The state of Morello software and projects

ACM SIGPLAN

15:58

[POCL'24] The Morello ISA semantics, proof, and test generation

ACM SIGPLAN

11:10

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

ACM SIGPLAN

22:35

[POCL'24] Compartmentalisation models

ACM SIGPLAN

16:46

[POCL'24] Proving capability safety in the presence of indirect sentries

ACM SIGPLAN

16:45

[POCL'24] Sealed with a Library Call: Memory Allocators Should Track Capability Seal Opera...

ACM SIGPLAN

23:31

[POCL'24] Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Pr...

ACM SIGPLAN

29:09

[POCL'24] Morello software and compilers

ACM SIGPLAN

19:09

[POCL'24] CHERI C semantics

ACM SIGPLAN

22:34

[POCL'24] CHERI static analysis

ACM SIGPLAN

20:24

[POCL'24] ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESB...

ACM SIGPLAN

27:34

[POCL'24] Rust on Morello

ACM SIGPLAN

19:11

[POCL'24] Concurrent Mutation must go

ACM SIGPLAN

36:08

[POCL'24] Object Capabilities

ACM SIGPLAN