TinyPART

Tiny, PrivAte, pRoven and isolaTed

Deliverables

All public deliverables are available on our TinyPART github public deliverables repository.

Publications

  • M. Gulati, K. Zandberg, Z. Huang, G. Wunder, C. Adjih, E. Baccelli. TDMiL: Tiny Distributed Machine Learning for Microcontroller-based Interconnected Devices. In IEEE Access, Nov. 2024. [PDF]

  • Z. Huang, A. Tousnakhoff, P. Kozyr, R. Rehausen, F. Bießmann, R. Lachlan, C. Adjih, E. Baccelli. TinyChirp: Bird Song Recognition Using TinyML Models on Low-power Wireless Acoustic Sensors. IEEE International Symposium on the Internet of Sounds, Sept. 2024. [PDF]

  • Z. Huang, K. Zandberg, K. Schleiser , E. Baccelli. RIOT-ML: Toolkit for Over-the-Air Secure Updates and Performance Evaluation of TinyML Models. Springer Annals of Telecommunications 22:1-5, May 2024.[PDF]

  • N. Dejon, C. Gaber, G. Grimaud, N. Jomaa. Code to Qed, the Project’s Manager Guide To Proof Engineering, ACM Transactions on Software Engineering and Methodology, June 2024 [PDF]

  • K. Zandberg, M. Gulati, G. Wunder, E. Baccelli. Model CBOR Serialization for Federated Learning. arXiv preprint arXiv:2401.14056, Jan. 2024. [PDF]

  • M. Gulati et al. BETA-FL: Blockchain-Event Triggered Asynchronous Federated Learning in Supply Chains. In 5th IEEE Int. Conference on Blockchain Computing and Applications (BCCA), October 2023. [PDF]

  • Z. Huang, K. Zandberg, K. Schleiser, E. Baccelli. U-TOE: Universal TinyML On-Board Evaluation Toolkit for Low-Power IoT. In the IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN), Sept. 2023. [PDF]

  • B. Moran, H. Tschofenig, H. Birkholz, K. Zandberg. A Concise Binary Object Representation (CBOR)-based Serialization Format for the Software Updates for Internet of Things (SUIT) Manifest. IETF working group draft, October 2023. [PDF]

  • B. Gross and G. Wunder. Differentially Private Synthetic Data Generation via Lipschitz-Regularised Variational Autoencoders. In 9th IEEE Int. Conf. on Privacy Computing and Data Security (PCDS), August 2023. [PDF]

  • Nicolas Dejon, Chrystel Gaber; Gilles Grimaud. Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices, International Journal of Embedded Systems and Applications, June 2023. [PDF]

  • Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. From MMU to MPU: adaptation of the Pip kernel to constrained devices. In International Conference on Internet of Things & Embedded Systems (IoTE 2022), Dec 2022. [PDF]

  • K. Zandberg, E. Baccelli, S. Yuan, F. Besson, JP Talpin. Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers, in ACM/IFIP International Middleware Conference, Nov. 2022. [PDF]

  • S. Yuan, F. Besson, JP Talpin, S. Hym, K. Zandberg, E. Baccelli. End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. In International Conference on Computer Aided Verification (CAV), Aug. 2022. [PDF]

  • Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Evaluation d’une solution d’isolation pour objets contraints. Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2022), July 2022. [PDF]

  • G. Banegas, K. Zandberg, A. Herrmann, E. Baccelli, B. Smith. Quantum-Resistant Security for Software Updates on Low-power Networked Embedded Devices. 20th International Conference on Applied Cryptography and Network Security (ACNS 2022), June 2022. [PDF]

  • Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud. A Formal Correctness Proof for an EDF Scheduler Implementation. RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. [PDF]

  • K. Zandberg, E. Baccelli. “Femto-Containers: DevOps on Microcontrollers with Lightweight Virtualization & Isolation for IoT Software Modules.” Preprint arXiv, Oct. 2021. [PDF]

Related Publications

Below is a short list of other publications from TinyPART partners, which relate to the project.

  • FX Molina, E. Baccelli, K. Zandberg, D. Donsez, and O. Alphand. “Cubedate: Securing Software Updates in Orbit for Low-Power Payloads Hosted on CubeSats.” In the IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN), Sept. 2023. [PDF]

  • P. Staat, J. Tobisch, C. Zenger, C. Paar. Anti-Tamper Radio: System-Level Tamper Detection for Computing Systems. In IEEE Symposium on Security and Privacy (SP), May 2022. [PDF]

  • Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. “Compartimentation dynamique imbriquée pour objets contraints”. Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2021), Jul 2021. [PDF]

  • Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. “Perspectives on security kernels for IoT”. RESSI (Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information), Dec 2020. [PDF]

  • Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. “A path to scale up proven hardware-based security in constrained objects”. Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2020), Jun 2020. [PDF]

  • E. Baccelli, C. Gündoğan, O. Hahm, P. Kietzmann, M. Lenders, H. Petersen, K. Schleiser, TC Schmidt, M. Wählisch. “RIOT: An open source operating system for low-end embedded devices in the IoT.” IEEE Internet of Things Journal, 2018. [PDF]

  • E. Baccelli, J. Doerr, S. Kikuchi, F. Padilla, K. Schleiser, I. Thomas. “Scripting Over-the-Air: Towards Containers on Low-end Devices in the Internet of Things.” IEEE International Conference on Pervasive Computing and Communications, March 2018. [PDF]

  • Mahieddine Yaker, Gilles Grimaud, Julien Cartigny, Chrystel Gaber, Jean-Philippe Wary, Xiao Han, and Vicente Sanchez-Leighton. “Ensuring IoT security with an architecture based on a separation kernel”. The IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud 2018), August 2018, Barcelona, Spain. DOI: 10.1109/FiCloud.2018.00025 [PDF]

  • Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, and Samuel Hym. “Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base”. 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), July 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal. Volume 76. DOI: 10.14279/tuj.eceasst.76.1080 [PDF]