ACM SIGPLAN - [POCL'24] Morello Cerise: proving secure encapsulation (work in progress)
Sign in to continue reading, translating and more.
