English
Related papers

Related papers: ICtoken: An NFT for Hardware IP Protection

200 papers

Fake products are items that are marketed and sold as genuine, high-quality products but are counterfeit or low-quality knockoffs. These products are often designed to closely mimic the appearance and branding of the genuine product to…

Cryptography and Security · Computer Science 2023-08-09 Shashank Gupta

Information Flow Control (IFC) is a collection of techniques for ensuring a no-write-down no-read-up style security policy known as noninterference. Traditional methods for both static and dynamic IFC suffer from untenable numbers of false…

Cryptography and Security · Computer Science 2020-05-27 Maximilian Algehed , Cormac Flanagan

Cryptocurrencies aim to replicate physical cash in the digital realm while removing centralized and trusted intermediaries. Decentralization is achieved by the blockchain, a permanent public ledger that contains a record of every…

Cryptography and Security · Computer Science 2024-06-04 Domokos Miklós Kelen , István András Seres

Non-fungible tokens (NFTs) are decentralized digital tokens to represent the unique ownership of items. Recently, NFTs have been gaining popularity and at the same time bringing up issues, such as scams, racism, and sexism.…

Computers and Society · Computer Science 2025-08-11 Yunpeng Xiao , Bufan Deng , Siqi Chen , Kyrie Zhixuan Zhou , Ray LC , Luyao Zhang , Xin Tong

The Internet of Things (IoT) is undergoing rapid growth in the IT industry, but, it continues to be associated with several security and privacy concerns as a result of its massive scale, decentralised topology, and resource-constrained…

Cryptography and Security · Computer Science 2020-01-08 Jawad Ali , Toqeer Ali , Shahrulniza Musa , Ali Zahrani

In the dynamic realm of digital content, safeguarding intellectual property rights poses critical challenges. This paper presents "SecureRights," an innovative Blockchain-based Trusted Digital Rights Management (DRM) framework. It…

Cryptography and Security · Computer Science 2024-03-12 Tiroshan Madushanka , Dhammika S. Kumara , Atheesh A. Rathnaweera

Copyright detection is an effective method to prevent piracy. However, untrustworthy detection parties may lead to falsified detection results. Due to its credibility and tamper resistance, blockchain has been applied to copyright…

Cryptography and Security · Computer Science 2022-08-25 Zhili Chen , Yuting Wang , Tianjiao Ni

Growing consumer awareness as well as manufacturers' internal quality requirements lead to novel demands on supply chain traceability. Existing centralized solutions suffer from isolated data storage and lacking trust when multiple parties…

Computers and Society · Computer Science 2018-10-24 Martin Westerkamp , Friedhelm Victor , Axel Küpper

The Non-Fungible Token (NFT) market is mushrooming in recent years. The concept of NFT originally comes from a token standard of Ethereum, aiming to distinguish each token with distinguishable signs. This type of token can be bound with…

Cryptography and Security · Computer Science 2021-10-26 Qin Wang , Rujia Li , Qi Wang , Shiping Chen

Modern circuits face various threats like reverse engineering, theft of intellectual property (IP), side-channel attacks, etc. Here, we present a novel approach for IP protection based on logic encryption (LE). Unlike established schemes…

Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens…

Cryptography and Security · Computer Science 2022-07-11 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Internet of Things means connecting different devices through the Internet. The Internet of things enables humans to remotely manage and control the objects they use with the Internet infrastructure. After the advent of the Internet of…

Cryptography and Security · Computer Science 2025-10-10 Maryam Ataei Nezhad , Hamid Barati , Ali Barati

Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has applied formal verification to certify the correctness of…

Cryptography and Security · Computer Science 2020-12-16 Daniel W. Song , Konstantinos Mamouras , Ang Chen , Nathan Dautenhahn , Dan S. Wallach

Non-fungible tokens, NFT, have been used to record ownership of real estate, art, digital assets, and more recently to serve legal notice. They provide an important and accessible non-financial use of cryptocurrency's blockchain but are…

Logic in Computer Science · Computer Science 2023-10-24 Martha N. Kamkuemah , J. W. Sanders

The Internet of Things is progressively getting broader, evol-ving its scope while creating new markets and adding more to the existing ones. However, both generation and analysis of large amounts of data, which are integral to this…

Cryptography and Security · Computer Science 2019-04-15 Guilherme Pinto , João Pedro Dias , Hugo Sereno Ferreira

In this work, we propose a privacy-preservation framework, TradeChain, which decouples the trade events of participants using decentralised identities. TradeChain adopts the Self-Sovereign Identity (SSI) principles and makes the following…

Cryptography and Security · Computer Science 2021-05-25 Sidra Malik , Naman Gupta , Volkan Dedeoglu , Salil S. Kanhere , Raja Jurdak

The Blockchain and the programs running on it, called Smart Contracts, are more and more applied in all fields requiring trust and strong certifications. In this work we compare public and permissioned blockchains for industrial…

Cryptography and Security · Computer Science 2020-05-07 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

Distributed Ledger Technology (DLT) has been introduced using the most common consensus algorithm either for an electronic cash system or a decentralized programmable assets platform which provides general services. Most established…

Cryptography and Security · Computer Science 2023-04-19 Ahmad J. Alkhodair , Saraju P. Mohanty , Elias Kougianos

Internet-of-things (IoT) is perpetually revolutionizing our daily life and rapidly transforming physical objects into an ubiquitous connected ecosystem. Due to their massive deployment and moderate security levels, those devices face a lot…

Cryptography and Security · Computer Science 2020-05-12 Najmeddine Dhieb , Hakim Ghazzai , Hichem Besbes , Yehia Massoud

With the recent considerable developments in the Internet of Things (IoT), billions of resource-constrained devices are interconnected through the internet. Monitoring this huge number of IoT devices that are heterogeneous in terms of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-12 Shirin Tahmasebi , Jafar Habibi , Abolhassan Shamsaie