@inproceedings{Elkaduwe_Derrin_06,
    month            = jan,
    paperurl         = {https://trustworthy.systems/publications/papers/Elkaduwe_Derrin_06.pdf},
    booktitle        = {Proceedings of the 2nd International Workshop on Object Systems and Software Architectures },
    author           = {Dhammika Elkaduwe and Philip Derrin and Kevin Elphinstone},
    title            = {Kernel Data -- First Class Citizens of the System},
    pages            = {39--43},
    address          = {Victor Harbor, South Australia, Australia},
    year             = {2006}
  }