TinyPART

Tiny, PrivAte, pRoven and isolaTed

About TinyPART

TinyPART aims to develop Software-Defined IoT building blocks for a deeply embedded software platform fitting low-power devices, architectured for privacy-by-design and cybersecurity. TinyPART seeks to provide both capabilities to isolate small runtime containers of untrusted (possibly scripted) IoT logic, and adequate privacy-oriented preprocessing (such as differential privacy and lightweight cryptographic tools) of IoT data on-board, before it is transferred from the OS to the container(s) and/or from the containers to the cloud. The goal of TinyPART is thus to explore tradeoffs between isolation guarantees, the logic orchestration functionality & security, memory footprint and ease of use by non-specialist embedded systems developer. In practice, TinyPART bases its embedded development on the open source operating system RIOT and the protokernel PIP.

TinyPART is a German-French research project on cybersecurity jointly sponsored by the German Ministry of Education and Research and the French National Research Agency.

News

  • June 2024: Our guidelines of the proof development process have been published in ACM Transactions on Software Engineering and Methodology PDF
  • February 2024: We contributed to the latest version of the SUIT standard specifying metadata for low-power secure software updates (IETF draft work-in-progress draft-ietf-suit-manifest-25).
  • September 2023: TinyPART contributors Gilles Grimaud and Chrystel Gaber will present TinyPART results in RIOT summit. Gilles Grimaud will present RIOT over PIP embedding secure OTA deployment and Chrystel Gaber will present TinyContainer, an abstraction and resource control layer for containers on RIOT.
  • August 2023: our work on U-TOE and low-power Machine Learning will be presented at IFIP/IEEE PEMWN.
  • June 2023: Our work on formal verification of an MPU-based separation kernel for constrained devices (Pip-MPU) was published in the International Journal of Embedded Systems and Applications.
  • December 2022: Presentation of the article “From MMU to MPU: adaptation of the Pip kernel to constrained devices” in the 3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022)
  • December 14, 2022: PhD defense of Nicolas Dejon, “Design of a secure kernel for constrained devices”
  • November 5-11, 2022: IETF meeting in London, where implementation feedback on the upcoming SUIT and CORECONF standards was delivered and discussed.
  • Oct 18-21, 2022: Nicolas Dejon, PhD candidate involved in the TinyPART project presented his subject and contribution to TinyPART in a pitch contest organised by Orange as part of its Research and Innovation show.
  • Sept 15-16, 2022: TinyPART contributors gathered for a Face to Face meeting in the Orange Garden site.
  • July 2022: Presentation of the article “Evaluation d’une solution d’isolation pour objets contraints” in the French-speaking conference COMPAS 2022.
  • June, 2022: Presentation of the article “Quantum-Resistant Security for Software Updates on Low-power Networked Embedded Devices” in 20th International Conference on Applied Cryptography and Network Security (ACNS 2022)
  • May 2022: Presentation of the article “A Formal Correctness Proof for an EDF Scheduler Implementation” in RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium
  • Oct 21, 2021: Website setup