2023-11-16
Mutating etcd Towards Edge Suitability
Andrew Jeffery, Heidi Howard, Richard Mortier
@ preprint
[arXiv, PDF]
2023-10-01
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
@ VLDB '24
[ACM]
2023-05-08
AMC: Towards Trustworthy and Explorable CRDT Applications with the Automerge Model Checker
Andrew Jeffery, Heidi Howard, Richard Mortier
@ PaPoC '23
[ACM, PDF]
2021-04-26
Rearchitecting Kubernetes for the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ EdgeSys '21
[arXiv, ACM, PDF]
2024-04-18
Themelios: a model-checked reimplementation of Kubernetes
Andrew Jeffery, Richard Mortier
@ UKSys '24
[Slides]
2023-07-13
Migrating Key-Value Data Stores to the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ Coseners (MSN) '23
[Slides]
2023-02-05
LSKV: Democratising Confidential Computing from the Core
Andrew Jeffery
@ FOSDEM ‘23
[Slides]
2021-04-26
Rearchitecting Kubernetes for the Edge (Paper Presentation)
Andrew Jeffery, Heidi Howard, Richard Mortier
@ EdgeSys ‘21
[Slides]
2021-03-11
Rearchitecting Kubernetes for the Edge
Andrew Jeffery, Heidi Howard, Richard Mortier
@ Department of Computer Science and Technology - SRG Seminars series
[Video, Event, Slides]
2024-04-23
Themelios: a model-checked reimplementation of Kubernetes
Andrew Jeffery
@ EuroSys '24
[Poster, Abstract]