The challenges of IoT addressing security, ethics, privacy, and laws

A Karale - Internet of Things, 2021 - Elsevier
Abstract Internet of Things or IoT is a rapidly growing network of interconnected 'things'
embedded with sensors to collect and exchange data over the internet without the need for …

A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Security challenges and opportunities for smart contracts in Internet of Things: A survey

K Peng, M Li, H Huang, C Wang, S Wan… - IEEE Internet of …, 2021 - ieeexplore.ieee.org
Smart contracts, one of the success stories in blockchain 2.0, have been widely utilized in a
broad range of applications, including those involving Internet of Things (IoT). Given the fast …

Zeestar: Private smart contracts by homomorphic encryption and zero-knowledge proofs

S Steffen, B Bichsel, R Baumgartner… - 2022 IEEE Symposium …, 2022 - ieeexplore.ieee.org
Data privacy is a key concern for smart contracts handling sensitive data. The existing work
zkay addresses this concern by allowing developers without cryptographic expertise to …

Focus on blockchain: A comprehensive survey on academic and application

Y Zou, T Meng, P Zhang, W Zhang, H Li - IEEE Access, 2020 - ieeexplore.ieee.org
As a decentralized distributed ledger, blockchain has developed rapidly since its birth and
has been highly valued by governments, academia, and industry. Start in the financial field …

TPPSUPPLY: A traceable and privacy-preserving blockchain system architecture for the supply chain

BB Sezer, S Topal, U Nuriyev - Journal of Information Security and …, 2022 - Elsevier
Traceability and auditability are key structures in supply chain management and
construction. However, trust is the most important aspect of customers in these systems …

Non-interactive zero-knowledge for blockchain: A survey

J Partala, TH Nguyen, S Pirttikangas - IEEE Access, 2020 - ieeexplore.ieee.org
We survey the state-of-the-art non-interactive zero-knowledge argument schemes and their
applications in confidential transactions and private smart contracts on blockchain. The main …

{VeriZexe}: Decentralized Private Computation with Universal Setup

AL Xiong, B Chen, Z Zhang, B Bünz, B Fisch… - 32nd USENIX Security …, 2023 - usenix.org
Traditional blockchain systems execute program state transitions on-chain, requiring each
network node participating in state-machine replication to re-compute every step of the …

Sok: data sovereignty

J Ernstberger, J Lauinger, F Elsheimy… - 2023 IEEE 8th …, 2023 - ieeexplore.ieee.org
Society appears to be on the verge of recognizing the need for control over sensitive data in
modern web applications. Recently, many systems claim to give control to individuals …

Another look at extraction and randomization of Groth's zk-SNARK

K Baghery, M Kohlweiss, J Siim, M Volkhov - Financial Cryptography and …, 2021 - Springer
Due to the simplicity and performance of zk-SNARKs they are widely used in real-world
cryptographic protocols, including blockchain and smart contract systems. Simulation …