Academic Papers

• EuroSec: Tiered Trust for useful embedded systems security. EuroSec 2022.

• Multiprogramming a 64 kB Computer Safely and Efficiently. SOSP 2017.

• The Case for Writing a Kernel in Rust. APSys 2017.

• Ownership is Theft: Experiences Building an Embedded OS in Rust. PLOS 2015

  Note: This workshop paper reported on challenges we ran into early on building Tock in Rust. After feedback from the Rust developers and the community, we were able to overcome those challanges without modifications to the language. We also learned that we understated how disruptive some of the changes we proposed would be to the language and do not believe they are worthwhile. This has been discussed extensively now in the Rust community. You should read this paper critically, not as conclusive scientific findings, but as the perspectives of the authors during a particular point in the development of Tock.

• A networked embedded system platform for the post-mote era. SenSys 2014.

Masters Theses

• Abstraction Layers and Energy Efficiency in TockOS, a Rust-based Runtime for the Internet of Things. Filip Nilsson & Sebastian Lund Chalmers University of Technology, University of Gothenburg. 2018.

• Defining a minimal BLE stack. Francine Mäkelä & Johan Lindskogen. Chalmers University of Technology, University of Gothenburg. 2018.

• A Rust-based Runtime for the Internet of Things. Fredrik Nilsson & Niklas Adolfsson. Chalmers University of Technology. 2017.