{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T09:52:06Z","timestamp":1769853126141,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3528535.3565242","type":"proceedings-article","created":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T13:40:01Z","timestamp":1671543601000},"page":"161-173","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Femto-containers"],"prefix":"10.1145","author":[{"given":"Koen","family":"Zandberg","sequence":"first","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Baccelli","sequence":"additional","affiliation":[{"name":"Inria, France and Freie Universit\u00e4t Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shenghao","family":"Yuan","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Besson","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"Cedric Adjih Emmanuel Baccelli Eric Fleury Gaetan Harter Nathalie Mitton Thomas Noel Roger Pissard-Gibollet Frederic Saint-Marcel Guillaume Schreiner Julien Vandaele et al. 2015. FIT IoT-LAB: A large scale open experimental IoT testbed. In 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT). IEEE 459--464.","DOI":"10.1109\/WF-IoT.2015.7389098"},{"key":"e_1_3_2_2_2_1","volume-title":"Firecracker: Lightweight Virtualization for Serverless Applications. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Agache Alexandru","year":"2020","unstructured":"Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa. 2020. Firecracker: Lightweight Virtualization for Serverless Applications. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 419--434. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/agache"},{"key":"e_1_3_2_2_3_1","volume-title":"Program logics for certified compilers","author":"Appel Andrew W.","unstructured":"Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, and Xavier Leroy. 2014. Program logics for certified compilers. Cambridge University Press."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2018.8480277"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2815038"},{"key":"e_1_3_2_2_6_1","unstructured":"R. Barry. 2022. FreeRTOS a FREE open source RTOS for small embedded real time systems. http:\/\/www.freertos.org."},{"key":"e_1_3_2_2_7_1","volume-title":"DevOps: A software architect's perspective","author":"Bass Len","unstructured":"Len Bass, Ingo Weber, and Liming Zhu. 2015. DevOps: A software architect's perspective. Addison-Wesley Professional, Boston, MA, USA."},{"key":"e_1_3_2_2_8_1","volume-title":"Hannes Tschofenig and Koen Zandberg","author":"Brendan Moran Henk Birkholz","year":"2021","unstructured":"Henk Birkholz Brendan Moran, Hannes Tschofenig and Koen Zandberg. 2021. CBOR-based Firmware Manifest Serialisation Format for the Software Updates for Internet of Things (SUIT) Manifest. Internet-Draft draft-ietf-suit-manifest-16. Internet Engineering Task Force. https:\/\/datatracker.ietf.org\/doc\/html\/draft-ietf-suit-manifest-16 Work in Progress."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","unstructured":"Niels Brouwers et al. 2009. Darjeeling a Feature-Rich VM for the Resource Poor. In ACM SenSys. Association for Computing Machinery New York NY USA 169--182. 10.1145\/1644038.1644056","DOI":"10.1145\/1644038.1644056"},{"key":"e_1_3_2_2_10_1","unstructured":"Bytecode Alliance. 2020. WebAssembly Micro Runtime (WAMR). https:\/\/github.com\/bytecodealliance\/wasm-micro-runtime."},{"key":"e_1_3_2_2_11_1","unstructured":"Matt Fleming. 2017. A Thorough Introduction to eBPF. https:\/\/lwn.net\/Articles\/740157\/"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","unstructured":"Geoffrey C Fox Vatche Ishakian Vinod Muthusamy and Aleksander Slominski. 2017. Status of serverless computing and function-as-a-service (faas) in industry and research. (2017). arXiv:arXiv:1708.08028 10.13140\/RG.2.2.15007.87206","DOI":"10.13140\/RG.2.2.15007.87206"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEC50012.2020.00035"},{"key":"e_1_3_2_2_14_1","volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery","author":"Andreas","unstructured":"Andreas Haas et al. 2017. Bringing the web up to speed with WebAssembly. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, New York, NY, USA, 185--200."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2505901"},{"key":"e_1_3_2_2_16_1","volume-title":"Application Memory Isolation on Ultra-Low-Power MCUs. In 2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Hardin Taylor","year":"2018","unstructured":"Taylor Hardin, Ryan Scott, Patrick Proctor, Josiah Hester, Jacob Sorber, and David Kotz. 2018. Application Memory Isolation on Ultra-Low-Power MCUs. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). USENIX Association, Boston, MA, 127--132."},{"key":"e_1_3_2_2_17_1","volume-title":"RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices. In 31st USENIX Security Symposium (USENIX Security 22)","author":"He Yi","year":"2022","unstructured":"Yi He, Zhenhua Zou, Kun Sun, Zhuotao Liu, Ke Xu, Qian Wang, Chao Shen, Zhi Wang, and Qi Li. 2022. RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 2225--2242."},{"key":"e_1_3_2_2_18_1","unstructured":"Huston Collins. 2020. Why TinyML is a giant opportunity. VentureBeat. https:\/\/venturebeat.com\/2020\/01\/11\/why-tinyml-is-a-giant-opportunity\/"},{"key":"e_1_3_2_2_19_1","volume-title":"18th International Workshop on Automated Verification of Critical Systems (AVOCS","volume":"76","author":"Jomaa Narjes","year":"2018","unstructured":"Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, and Samuel Hym. 2018. Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. In 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Vol. 76. Electronic Communications of the EASST Open Access Journal, Oxford, United Kingdom, 0--20."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442001"},{"key":"e_1_3_2_2_21_1","unstructured":"Koen Zandberg. 2022-05. Femto-Containers CoAP sensor value handler. https:\/\/anonymous.4open.science\/r\/middleware2022-femtocontainers-BB19\/snippets\/counter_fetch_gcoap.c."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Koen Zandberg. 2022-05. Femto-Containers RIOT Implementation. https:\/\/github.com\/future-proof-iot\/middleware2022-femtocontainers\/tree\/main\/femto-containers.","DOI":"10.1145\/3528535.3565242"},{"key":"e_1_3_2_2_23_1","unstructured":"Koen Zandberg. 2022-05. Femto-Containers sensor readout application. https:\/\/anonymous.4open.science\/r\/middleware2022-femtocontainers-BB19\/snippets\/sensor_process.c."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605407"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","unstructured":"Amit Levy et al. 2017. Multiprogramming a 64kB Computer Safely and Efficiently. In ACM SOSP. Association for Computing Machinery New York NY USA 234--251. 10.1145\/3132747.3132786","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_2_27_1","unstructured":"George Robotics Limited. 2022. MicroPython. https:\/\/micropython.org\/."},{"key":"e_1_3_2_2_28_1","volume-title":"USENIX","volume":"46","author":"McCanne Steven","year":"1993","unstructured":"Steven McCanne and Van Jacobson. 1993. The BSD Packet Filter: A New Architecture for User-level Packet Capture. In USENIX, Vol. 46. USENIX Association, San Diego, CA, 2."},{"key":"e_1_3_2_2_29_1","volume-title":"Nicklas Beijar, and Jorg Ott.","author":"Morabito Roberto","year":"2018","unstructured":"Roberto Morabito, Vittorio Cozzolino, Aaron Yi Ding, Nicklas Beijar, and Jorg Ott. 2018. Consolidate IoT edge computing with lightweight virtualization. IEEE network 32, 1 (2018), 102--111."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"crossref","unstructured":"Brendan Moran Milosch Meriac Hannes Tschofenig and David Brown. 2021. A firmware update architecture for internet of things devices. RFC 9019. RFC Editor. https:\/\/www.rfc-editor.org\/rfc\/rfc9019.txt","DOI":"10.17487\/RFC9019"},{"key":"e_1_3_2_2_31_1","unstructured":"Oracle. 2019. Java Card 3.1. https:\/\/www.oracle.com\/java\/technologies\/java-card-tech.html."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3291047"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"key":"e_1_3_2_2_34_1","volume-title":"Dynamic, Multi-tenant Edge Clouds","author":"Ren Yuxin","unstructured":"Yuxin Ren, Guyue Liu, Vlad Nitu, Wenyuan Shao, Riley Kennedy, Gabriel Parmer, Timothy Wood, and Alain Tchana. 2020. Fine-Grained Isolation for Scalable, Dynamic, Multi-tenant Edge Clouds. In USENIX. USENIX Association, Boston, MA, USA, 927--942."},{"key":"e_1_3_2_2_35_1","unstructured":"Volodymyr Shymanskyy. 2020-10. WASM3: A high Performance WebAssembly Interpreter Written in C. https:\/\/github.com\/wasm3\/wasm3."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2018.08.012"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13188-2_15"},{"key":"e_1_3_2_2_38_1","volume-title":"CertFC artifact. https:\/\/github.com\/future-proof-iot\/CertFC\/tree\/MIDDLEWARE22","author":"Yuan Shenghao","unstructured":"Shenghao Yuan, Fr\u00e9d\u00e9ric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, and Emmanuel Baccelli. 2022-09. CertFC artifact. https:\/\/github.com\/future-proof-iot\/CertFC\/tree\/MIDDLEWARE22."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.23919\/PEMWN50727.2020.9293081"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2919760"}],"event":{"name":"Middleware '22: 23rd International Middleware Conference","location":"Quebec QC Canada","acronym":"Middleware '22","sponsor":["ACM Association for Computing Machinery","IFIP"]},"container-title":["Proceedings of the 23rd ACM\/IFIP International Middleware Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3528535.3565242","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3528535.3565242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:43Z","timestamp":1750186963000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3528535.3565242"}},"subtitle":["lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":40,"alternative-id":["10.1145\/3528535.3565242","10.1145\/3528535"],"URL":"https:\/\/doi.org\/10.1145\/3528535.3565242","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}