bibliography.bib

@inproceedings{contiki,
  author    = {Adam Dunkels and
               Bj{\"{o}}rn Gr{\"{o}}nvall and
               Thiemo Voigt},
  title     = {Contiki - {A} Lightweight and Flexible Operating System for Tiny Networked
               Sensors},
  booktitle = {29th Annual {IEEE} Conference on Local Computer Networks {(LCN} 2004),
               16-18 November 2004, Tampa, FL, USA, Proceedings},
  pages     = {455--462},
  year      = {2004},
  url       = {http://dx.doi.org/10.1109/LCN.2004.38},
  doi       = {10.1109/LCN.2004.38},
  timestamp = {Wed, 10 Dec 2014 18:26:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lcn/DunkelsGV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{kint:osdi2012,
  author    = {Xi Wang and
               Haogang Chen and
               Zhihao Jia and
               Nickolai Zeldovich and
               M. Frans Kaashoek},
  title     = {Improving Integer Security for Systems with {KINT}},
  booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
  pages     = {163--177},
  year      = {2012},
  url       = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/wang},
  timestamp = {Wed, 14 May 2014 19:43:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/osdi/WangCJZK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{linuxvulns:apsys11,
	author = {Chen, Haogang and Mao, Yandong and Wang, Xi and Zhou, Dong and Zeldovich, Nickolai and Kaashoek, M. Frans},
	title = {Linux Kernel Vulnerabilities: State-of-the-art Defenses and Open Problems},
	booktitle = {Proceedings of the Second Asia-Pacific Workshop on Systems},
	series = {APSys '11},
	year = {2011},
	isbn = {978-1-4503-1179-3},
	location = {Shanghai, China},
	pages = {5:1--5:5},
	articleno = {5},
	numpages = {5},
	url = {http://doi.acm.org/10.1145/2103799.2103805},
	doi = {10.1145/2103799.2103805},
	acmid = {2103805},
	publisher = {ACM},
	address = {New York, NY, USA},
} 

@inproceedings{undefined:apsys2012,
  author    = {Xi Wang and
               Haogang Chen and
               Alvin Cheung and
               Zhihao Jia and
               Nickolai Zeldovich and
               M. Frans Kaashoek},
  title     = {Undefined Behavior: What Happened to my Code?},
  booktitle = {Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea,
               July 23-24, 2012},
  pages     = {9},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2349896.2349905},
  doi       = {10.1145/2349896.2349905},
  timestamp = {Sun, 05 May 2013 11:04:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsys/WangCCJZK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{unikernels:2013,
  author = {Madhavapeddy, Anil and Mortier, Richard and Rotsos, Charalampos and Scott, David J. and Singh, Balraj and Gazagnaire, Thomas and Smith, Steven and Hand, Steven and Crowcroft, Jon},
  booktitle = {ASPLOS},
  editor = {Sarkar, Vivek and Bodík, Rastislav},
  ee = {http://doi.acm.org/10.1145/2451116.2451167},
  interhash = {4d0550f50f164ac20389e4f576894ccc},
  intrahash = {b50a4da6c1f2b2d0b22972e19bbcb515},
  isbn = {978-1-4503-1870-9},
  keywords = {dblp},
  pages = {461-472},
  publisher = {ACM},
  timestamp = {2014-01-24T00:00:00.000+0100},
  title = {Unikernels: Library Operating Systems for the Cloud},
  url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2013.html#MadhavapeddyMRSSGSHC13},
  year = 2013
}

@inproceedings{house:icfp2005,
  author    = {Thomas Hallgren and
               Mark P. Jones and
               Rebekah Leslie and
               Andrew P. Tolmach},
  title     = {A principled approach to operating system construction in {H}askell},
  booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  pages     = {116--128},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1086365.1086380},
  doi       = {10.1145/1086365.1086380},
  timestamp = {Mon, 13 Feb 2006 15:41:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfp/HallgrenJLT05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{singularity:sigops,
 author = {Hunt, Galen C. and Larus, James R.},
 title = {Singularity: Rethinking the Software Stack},
 journal = {SIGOPS Oper. Syst. Rev.},
 issue_date = {April 2007},
 volume = {41},
 number = {2},
 month = apr,
 year = {2007},
 issn = {0163-5980},
 pages = {37--49},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/1243418.1243424},
 doi = {10.1145/1243418.1243424},
 acmid = {1243424},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {hardware protection domains, manifest-based programs (MBPs), operating systems, program specification, program verification, safe programming languages, sealed kernel, sealed process architecture, software-isolated processes (SIPs), unsafe code tax},
}

@inproceedings {arrakis:osdi2014,
author = {Simon Peter and Jialin Li and Irene Zhang and Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and Thomas Anderson and Timothy Roscoe},
title = {Arrakis: The Operating System is the Control Plane},
booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
year = {2014},
month = Oct,
isbn = { 978-1-931971-16-4},
address = {Broomfield, CO},
pages = {1--16},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/peter},
publisher = {USENIX Association},
}

@inproceedings {ix:osdi2014,
author = {Adam Belay and George Prekas and Ana Klimovic and Samuel Grossman and Christos Kozyrakis and Edouard Bugnion},
title = {{IX}: A Protected Dataplane Operating System for High Throughput and Low Latency},
booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
year = {2014},
month = Oct,
isbn = { 978-1-931971-16-4},
address = {Broomfield, CO},
pages = {49--65},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/belay},
publisher = {USENIX Association},
}

@inproceedings {tcpcrypt,
author = {Andrea Bittau and Michael Hamburg and Mark Handley and David Mazières and Dan Boneh},
title = {The Case for Ubiquitous Transport-Level Encryption},
booktitle = {19th USENIX Security Symposium},
year = {2010},
month = Aug,
address = {Washington, DC},
publisher = {USENIX Association},
}

@inproceedings{spin:sosp,
  author    = {Brian N. Bershad and
               Stefan Savage and
               Przemyslaw Pardyak and
               Emin G{\"{u}}n Sirer and
               Marc E. Fiuczynski and
               David Becker and
               Craig Chambers and
               Susan J. Eggers},
  title     = {Extensibility, Safety and Performance in the {SPIN} Operating System},
  booktitle = {{15th ACM Symposium on Operating Systems Principles}},
  pages     = {267--284},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/224056.224077},
  doi       = {10.1145/224056.224077},
  timestamp = {Fri, 22 Jan 2010 18:35:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sosp/BershadSPSFBCE95},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  publisher = {ACM Press}
}

@book{tanenbaum,
	author = {Tanenbaum, Andrew S.},
	title = {Modern Operating Systems},
	year = {2007},
	isbn = {9780136006633},
	edition = {3rd},
	publisher = {Prentice Hall Press},
	address = {Upper Saddle River, NJ, USA},
}

@incollection{tinyos,
  title={{TinyOS}: An operating system for sensor networks},
  author={Levis, Philip and Madden, Sam and Polastre, Joseph and Szewczyk, Robert and Whitehouse, Kamin and Woo, Alec and Gay, David and Hill, Jason and Welsh, Matt and Brewer, Eric and others},
  booktitle={Ambient intelligence},
  pages={115--148},
  year={2005},
  publisher={Springer}
}
@inproceedings{tosthreads,
  title={{TOSThreads}: Thread-safe and non-invasive preemption in {TinyOS}},
  author={Klues, Kevin and Liang, Chieh-Jan Mike and Paek, Jeongyeup and Musaloiu-Elefteri, Razvan and Levis, Philip and Terzis, Andreas and Govindan, Ramesh},
  booktitle={SenSys},
  volume={9},
  pages={127--140},
  year={2009}
}

@article{lua,
  title={Lua-an extensible extension language},
  author={Ierusalimschy, Roberto and De Figueiredo, Luiz Henrique and Celes Filho, Waldemar},
  journal={Softw., Pract. Exper.},
  volume={26},
  number={6},
  pages={635--652},
  year={1996},
  publisher={Citeseer}
}

@inproceedings{rust,
	author = {Matsakis, Nicholas D. and Klock,II, Felix S.},
	title = {The {Rust} Language},
	booktitle = {Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology},
	series = {HILT '14},
	year = {2014},
	isbn = {978-1-4503-3217-0},
	location = {Portland, Oregon, USA},
	pages = {103--104},
	numpages = {2},
	url = {http://doi.acm.org/10.1145/2663171.2663188},
	doi = {10.1145/2663171.2663188},
	acmid = {2663188},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {affine type systems, memory management, rust, systems programming},
}

@misc{pebble,
  title={Pebble Smartwatch},
  howpublished={ \url{http://www.getpebble.org}}
}

@misc{hue,
  title={HUE: Personal Wireless Lighting},
  howpublished={ \url{http://www2.meethue.com/en-us/what-is-hue/the-system/}}
}

@misc{fitbit,
  title={{Fitbit One Wireless Activity + Sleep Tracker}},
  howpublished={ \url{https://www.fitbit.com/one}}
}

@misc{jawboneup,
  title={{Up by Jawbone}},
  author={Jawbone},
  howpublished={ \url{https://jawbone.com/up}}
}

@misc{simband,
	title={{SimBand}},
	author={Samsung},
	howpublished={\url{http://www.samsung.com/us/globalinnovation/innovation_areas/#simband}},
	year={2014},
	month={November},
}

@misc{wzzard,
	title={Wzzard},
	author={{B\&B~Electronics}},
	howpublished={\url{http://bb-smartsensing.com/wzzard-sensing-platform/}},
	year={2014},
}

@misc{thinkingthings,
	title={{Thinking Things}},
	author={{Telefonica Lab}},
	howpublished={\url{http://www.thinkingthings.telefonica.com/}},
	year={2014},
}

@misc{spotteruniq,
	title={{Spotter UNIQ}},
	author={Quirky},
	howpublished={\url{http://www.quirky.com/shop/982}},
	year={2015},
	month={January},
}

@misc{bbb,
  title={{BeagleBone Black}},
  howpublished={ \url{http://beagleboard.org/black}}
}

@misc{rpi,
  title={{Raspberry Pi}},
  howpublished={\url{http://www.raspberrypi.org/}}
}

@misc{hummingboard,
  title={{HummingBoard}},
  howpublished={\url{http://www.solid-run.com/products/hummingboard/}}
}

@manual{cortexm4-ug:ch4.5,
  title={Cortex-M4 Devices User Guide},
  organization={ARM},
  year={2010},
  month={Dec},
  note={Issue A},
  chapter={4.5},
  pages={253--263}
}

@manual{sam4l,
  title={ARM SAM4L Low Power MCU},
  organization={Atmel},
  year={2013}
}

@misc{nestprotect-teardown,
  title={{Nest Protect} Teardown},
  author={Nick Poole},
  howpublished={ \url{https://learn.sparkfun.com/tutorials/nest-protect-teardown}}
}


@techreport{dtls,
  title={Datagram Transport Layer Security},
  author={Rescorla, Eric and Modadugu, Nagendra},
  howpublished={"Internet Request for Comments},
  type="{RFC}",
  number=4347,
  year={2006},
  month={April},
  publisher="{IETF}",
  url={\url{https://tools.ietf.org/html/rfc4347}},
}

@techreport{tls,
  title={The Transport Layer Security Protocol Version 1.2 ({TLS})},
  author={Dierks, Tim and Rescorla, Eric},
  howpublished={"Internet Request for Comments},
  type="{RFC}",
  number=5246,
  year={2008},
  month={August},
  publisher="{IETF}",
  url={\url{http://www.ietf.org/rfc/rfc5246.txt}},
}

@inproceedings{han05sos,
 author = {Han, Chih-Chieh and Kumar, Ram and Shea, Roy and Kohler, Eddie and Srivastava, Mani},
 title = {A Dynamic Operating System for Sensor Nodes},
 booktitle = {Proceedings of the 3rd International Conference on Mobile Systems, Applications, and Services},
 series = {MobiSys '05},
 year = {2005},
 isbn = {1-931971-31-5},
 location = {Seattle, Washington},
 pages = {163--176},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1067170.1067188},
 doi = {10.1145/1067170.1067188},
 acmid = {1067188},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@misc{freertos,
  title={{FreeRTOS}},
  howpublished={ \url{https://www.freertos.orf/}}
}

@misc{rtos-sec,
  title={{FreeRTOS-MPU} Security (Privileges)},
  howpublished={\url{http://sourceforge.net/p/freertos/discussion/382005/thread/7b135e95}},
  year={2013},
  month={September},
  day={16}
}

@misc{rtos-tasks,
  title={{FreeROTS: xTaskCreate}},
  howpublished={\url{http://www.freertos.org/a00125.html}},
  year={2014},
  month={December},
}

@misc{adheretech,
  title={{AdhereTech Smart Wireless Pill Bottles}},
  howpublished={ \url{http://adheretech.com/}}
}


@article{ninja,
  author    = {Steven D. Gribble and
               Matt Welsh and
               J. Robert von Behren and
               Eric A. Brewer and
               David E. Culler and
               Nikita Borisov and
               Steven E. Czerwinski and
               Ramakrishna Gummadi and
               Jon R. Hill and
               Anthony D. Joseph and
               Randy H. Katz and
               Zhuoqing Morley Mao and
               Steven J. Ross and
               Ben Y. Zhao},
  title     = {The Ninja architecture for robust Internet-scale systems and services},
  journal   = {Computer Networks},
  volume    = {35},
  number    = {4},
  pages     = {473--497},
  year      = {2001},
  url       = {http://dx.doi.org/10.1016/S1389-1286(00)00179-1},
  doi       = {10.1016/S1389-1286(00)00179-1},
  timestamp = {Fri, 30 Nov 2007 19:43:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cn/GribbleWBBCBCGHJKMRZ01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{libasync,
  author    = {David Mazi{\`{e}}res},
  title     = {A Toolkit for User-Level File Systems},
  booktitle = {Proceedings of the General Track: 2001 {USENIX} Annual Technical Conference,
               June 25-30, 2001, Boston, Massachusetts, {USA}},
  pages     = {261--274},
  year      = {2001},
  url       = {http://www.usenix.org/publications/library/proceedings/usenix01/mazieres.html},
  timestamp = {Wed, 03 Sep 2003 14:28:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/usenix/Mazieres01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{nooks,
  author    = {Michael M. Swift and
               Steven Martin and
               Henry M. Levy and
               Susan J. Eggers},
  title     = {Nooks: an architecture for reliable device drivers},
  booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  pages     = {102--107},
  year      = {2002},
  url       = {http://doi.acm.org/10.1145/1133373.1133393},
  doi       = {10.1145/1133373.1133393},
  timestamp = {Wed, 02 Apr 2008 12:28:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigopsE/SwiftMLE02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@manual{epoll,
 title      = "epoll(7) Linux Programmer's Manual",
 year       = "2014",
 month      = "July"
}

@misc{nest-protect,
  title={{Nest Protect}},
  howpublished={ \url{https://nest.com/smoke-co-alarm/life-with-nest-protect/}}
}

@inproceedings{dune:osdi2012,
  author    = {Adam Belay and
               Andrea Bittau and
               Ali Jos{\'{e}} Mashtizadeh and
               David Terei and
               David Mazi{\`{e}}res and
               Christos Kozyrakis},
  title     = {Dune: Safe User-level Access to Privileged {CPU} Features},
  booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
  pages     = {335--348},
  year      = {2012},
  url       = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/belay},
  timestamp = {Wed, 14 May 2014 19:43:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/osdi/BelayBMTMK12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}