Angus Hammond
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 3 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Thibaut Pérami4 talks
- Zongyuan Liu3 talks
- Brian Campbell5 talks
- Thomas Bauereiss3 talks
- Peter Sewell14 talks
- Armaël Guéneau7 talks
| 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… | ||
| 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… | ||
| An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: T... | POPL 2024 | 2024-01-14 |
Claims a new separation logic AxSL for the Arm‑A user‑mode axiomatic model that lets relaxed reads/writes transfer resources when they induce ordering… | ||
| nothing matches | ||