@inproceedings{Elkaduwe_DE_08,
    address          = {Glasgow, UK},
    author           = {Elkaduwe, Dhammika and Derrin, Philip and Elphinstone, Kevin},
    booktitle        = {1st Workshop on Isolation and Integration in Embedded Systems},
    isbn             = {978-1-60558-126-2},
    keywords         = {isolation, sel4, memory management, embedded systems, microkernels},
    month            = apr,
    pages            = {35--40},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/848.pdf},
    publisher        = {ACM},
    title            = {Kernel design for isolation and assurance of physical memory},
    year             = {2008}
  }