/ Papers / Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting
In proceedings of the First Workshop on Measurement, Privacy, and Mobility, Apr 2012
PDF   URL   BibTeX   DOI  

Abstract. We discuss the problem of building a user-acceptable infrastructure for a large organisation that wishes to measure its employees' travel-to-work carbon footprint, based on the gathering of high resolution geolocation data on employees in a privacy-sensitive manner. This motivated the construction of a distributed system of personal containers in which individuals record fine-grained location information into a private data-store which they own, and from which they can trade portions of data to the organisation in return for specific benefits. This framework can be extended to gather a wide variety of personal data and facilitates the transformation of private information into a public good, with minimal and assessable loss of individual privacy.This is currently a work in progress. We report on the hardware, software and social aspects of piloting this scheme on the University of Cambridge's experimental cloud service, as well as contrasting it to a traditional centralised model.

Authors. Chris Elsmore, Anil Madhavapeddy, Ian Leslie and Amir Chaudhry

See Also. This publication was part of my Unikernels and Personal Containers projects.

News Updates

Feb 2020. «» Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles / «» Part 2 / «» Part 3.
Aug 2019. «» Note on OpenBSD cloud hosting options.
Oct 2016. «» DockerCon talk on unikernels and MirageOS.
Jun 2016. «» Interviewed by The New Stack at OSCON in Austin, Texas / «» Updated the MirageOS community about the 2016 hack retreat.
May 2016. «» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.
Jan 2016. «» Announced that Unikernel Systems is now part of Docker.
Sep 2015. «» Invited talk at NetPL on Immutable Distributed Infrastructure with Unikernels.
May 2015. «» Talk at Esper on functional programming with unikernels.
Apr 2015. «» Updated the OCaml community on annual OCaml Labs activities for 2014.
Jan 2015. «» Gave BOB 2015 keynote on functional Operating Systems.
Dec 2014. «» Gave Codemesh 2014 talk on Nymote.
Nov 2014. «» New Directions in Operating Systems talk on Jitsu.
Oct 2014. «» At the Xen Summit speaking about branch consistency for Xen Stub Domains.
Sep 2014. «» Gave Haskell Symposium 2014 Keynote on functional OS design.
Jul 2014. «» Announced the release of MirageOS 1.2, and a roadmap towards MirageOS 2.0 / «» Announced the long-awaited release of MirageOS 2.0 / «» Appeared on FLOSS Weekly 302 about Open Mirage.
May 2014. «» Appeared on SE Radio Episode 204 about Mirage and OCaml.
Jan 2014. «» Note on the discussions around my recent CACM article on unikernels.
Nov 2013. «» MirageOS and XAPI project update at XenSummit / «» Note on integrating Docker and opam more effectively.
Jul 2013. «» Mirage Developer Preview 1 screencast.
Oct 2012. «» Discussing how we disaggregated MirageOS into opam packages.
Sep 2012. «» Note on how to build XenStore stub domains using MirageOS.
Apr 2012. «» Paper on our use of data lockers within Cambridge to incentivise more green commuting patterns.
Feb 2012. «» Note on using ARM Dreamplugs with OCaml published.
Oct 2011. «» At the OCaml Meeting 2011 speaking about MirageOS.
Sep 2011. «» Liveblog on the talks at CUFP 2011.
Jun 2011. «» Note discussing an OCaml interface to our new CIEL dataflow engine / «» Published a note on delimited continuations vs Lwt in OCaml for MirageOS.
Oct 2010. «» Announced that the MirageOS website now self-hosted on MirageOS! / «» At LinkedIn giving tech talk about Mirage.
Jun 2010. «» At HotCloud for the first talk about MirageOS.
Apr 2010. «» Blogged about progress of the user interface for personal containers / «» Note on our approach to personal data management as 'yurts' for digital nomads.
Mar 2010. «» Announced the personal containers project and new website.