Remote Device Management via Smart Contracts

Islam, Md. Nazmul; Kundu, Sandip

doi:10.1109/tce.2021.3139584

“…In this paper, we discussed a Blockchain-based protocol proposed in the literature [2] to enable SoC reconfiguration. We showed that its current design has a flaw on the SoC data access by modeling the protocol with Verifpal [6].…”

Section: Discussionmentioning

confidence: 99%

“…We call life cycle management system (LCMS) [1] the sub-system which, when integratred into a SoC, makes it capable of being reconfigured throughout its life cycle. In the scope of this paper, we focus on the protocol proposed by Islam et al [2]. However, a similar problem seems to be present in other approaches, such as [3], because they work on the same principles.…”

Section: Contextmentioning

confidence: 99%

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip

Méré¹,

Jouault²,

Perdriau³

et al. 2022

Preprint

0

View full text Add to dashboard Cite

<p>Nowadays, System-on-Chip (SoC) components are found everywhere in all kinds of smart devices. Each System-on-Chip contains many different blocks that provide specific functionalities, such as WiFi or Bluetooth connectivity. Whereas integrating each such block in a SoC typically requires paying some royalties, not all blocks are necessary for all applications, or throughout a device’s lifecycle. Moreover, it is not possible to manufacture a specific SoC for each application. Significant advantages are therefore expected to be gained by enabling trustworthy remote SoC reconfiguration throughout their life cycles. A few approaches attempting to address this challenge have been proposed in the literature. They are typically based on Blockchain technology in order to support decentralization without relinquishing trust. Reviewing these approaches lead us to identify a potential flaw in the proposed protocols. Indeed, a SoC should be able to trust Blockchain information that it is given, without requiring any centralization. In order to validate our suspicions, we propose in this paper to use Verifpal: a cryptographic protocol verification tool that works from textual protocol models. We use it in a slightly unorthodox way in order to model the trust relationships in one of the approaches from the literature, and to verify it. The results show that, under some assumptions, a flaw is indeed present. We propose and model several possible fixes, and present their respective limitations. </p>

show abstract

“…In this paper, we discussed a Blockchain-based protocol proposed in the literature [2] to enable SoC reconfiguration. We showed, by modeling the protocol with Verifpal [6], that its current design has a flaw on the SoC data access.…”

Section: Discussionmentioning

confidence: 99%

“…The protocol proposed by Islam et al [2] is presented in Figure 1. Listing 1 gives an excerpt of the Verifpal script that models this protocol.…”

Section: A State Of the Art Protocolmentioning

confidence: 99%

“…The literature on approaches that offer these possibilities is, according to the authors' knowledge, still thin [1]. The proposed approaches use Blockchain technology to obtain security guarantees [2], [3]. Blockchain is a technology originally designed to offer a decentralized currency system capable to work without trusted third parties [4].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip

Méré¹,

Jouault²,

Perdriau³

et al. 2022

Preprint

0

View full text Add to dashboard Cite

<p>Nowadays, System-on-Chip (SoC) components are found everywhere in all kinds of smart devices. Each System-on-Chip contains many different blocks that provide specific functionalities, such as WiFi or Bluetooth connectivity. Whereas integrating each such block in a SoC typically requires paying some royalties, not all blocks are necessary for all applications, or throughout a device’s lifecycle. Moreover, it is not possible to manufacture a specific SoC for each application. Significant advantages are therefore expected to be gained by enabling trustworthy remote SoC reconfiguration throughout their life cycles. A few approaches attempting to address this challenge have been proposed in the literature. They are typically based on Blockchain technology in order to support decentralization without relinquishing trust. Reviewing these approaches lead us to identify a potential flaw in the proposed protocols. Indeed, a SoC should be able to trust Blockchain information that it is given, without requiring any centralization. In order to validate our suspicions, we propose in this paper to use Verifpal: a cryptographic protocol verification tool that works from textual protocol models. We use it in a slightly unorthodox way in order to model the trust relationships in one of the approaches from the literature, and to verify it. The results show that, under some assumptions, a flaw is indeed present. We propose and model several possible fixes, and present their respective limitations. </p>

show abstract

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system

Méré,

Jouault,

Pallardy

et al. 2024

Softw Syst Model

0

View full text Add to dashboard Cite

Remote Device Management via Smart Contracts

Cited by 10 publications

References 14 publications

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system

Contact Info

Product

Resources

About