Code Verification Based on TPM Solutions for Internet of Things Platforms

  • Toufik GhribEmail author
  • Mohamed Benmohammed
  • Abdelkader Hadj Seyd
  • Mohamed Redouane Kafi
  • Abdelkader Guzzi
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 915)


Today’s Internet of Things (IoT) is achieving more and more importance, since networks of physical objects embedded with electronic components, software and sensors are gaining popularity. The connectivity of such objects becomes crucial for the services and functionalities provided by the Internet of Things, which can be used for a great range of purposes: a network of cars sharing traffic information, a network of medical services, etc. more applications require the use of embedded code. This code usually exchanged in a pre-compiled form (byte code), can be naturally the product of the compilation of a source program written in a given language (smart cards,), but can also be of a unknown source (network games, hackers,). It is therefore appropriate, before running it, to make sure it is free of errors and that its execution on the host platform will not affect the proper functioning, both in terms of the calculation time and the level of the memory resources used. We are interested here in different techniques and methods to specify and to verify the veracity of the code exchanged between the different machines, In this case, we have to focus in two different sources of action: Device authentication: to ensure that any device can be replaced by a fake one and Software state attestation: to ensure that the current software state matches the system state. The way to address this issue is through trusted element-based TPM solutions.


Internet of things Security Embedded systems Verification TPM 


  1. 1.
    Roques, P.: Mbse with the arcadia method and the capella tool. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)Google Scholar
  2. 2.
    Trusted Computing Group: Mobile Working Group. developers/mobile
  3. 3.
    Trusted Computing Group: Guidance for Securing IoT Using TCG Technology, Version 1.0. TCG.
  4. 4.
    Bernard, R.: Analyses de sûreté de fonctionnement multi-systèmes. Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, Français (2009)Google Scholar
  5. 5.
    Young, M.: The Technical Writer’s Handbook. University Science, Mill Valley, CA (1989)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Toufik Ghrib
    • 1
    • 2
    • 3
    Email author
  • Mohamed Benmohammed
    • 4
  • Abdelkader Hadj Seyd
    • 2
  • Mohamed Redouane Kafi
    • 6
  • Abdelkader Guzzi
    • 5
  1. 1.Department of InformaticsUniversity of Mohamed Khider BiskraBiskraAlgeria
  2. 2.Departement of Production of Hydrocarbons, Faculty of Hydrocarbons, Renewable Energies, Earth Sciences and the UniverseUniversity of Kasdi Merbah OuarglaOuarglaAlgeria
  3. 3.Laboratory of Mathematics and Applied SciencesUniversity of GhardaiaGhardaiaAlgeria
  4. 4.Department of Software Technologies and Information Systems Faculty of New Technologies of Information and Communication University Constantine 2ConstantineAlgeria
  5. 5.Faculty of New Technologies of Information and CommunicationUniversity of Kasdi Merbah OuarglaOuarglaAlgeria
  6. 6.Laboratoire de Génie Electrique, Department of Electronics and TelecommunicationUniversity Kasdi Merbah OuarglaOuarglaAlgeria

Personalised recommendations