Ricardo Almeida
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware(…) | PLDI 2025 | 2025-06-16 |
Proves that an encapsulated C-style component running on Arm Morello maintains a mod-64 accumulator invariant against arbitrary untrusted code, by mechanising… | ||
| A CHERI C Memory Model for Verified Temporal Safety | CPP 2025 | 2025-01-20 |
Defines a CHERI C object memory model that implements a new PNVI-CHERI provenance scheme, encodes five revocation strategies, and plugs into the Cerberus… | ||
| Morello Cerise: proving secure encapsulation (work in progress) | POCL 2024 | 2024-01-16 |
Formal encapsulation for Morello is approached by combining T-Cherry properties (Isabelle-proven whole-architecture bounds on capability behavior) with the Lis… | ||
| Prisma in Production Discussion Panel | Prisma Day 2021 | 2021-06-29 |
Panelists report that Prisma delivers type safety everywhere and a single schema that keeps migrations and DB models in sync, cutting runtime errors and… | ||
| nothing matches | ||