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

  • 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]{https://summit.riot-os.org/2023/blog/speakers/gilles-grimaud/} and Chrystel Gaber will present [TinyContainer, an abstraction and resource control layer for containers on RIOT]{https://summit.riot-os.org/2023/blog/speakers/chrystel-gaber/}.
  • 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