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