Blockchain-Enabled Smart Contracts: Architecture, Applications, and Future Trends

Shuai Wang, Liwei Ouyang, Yong Yuan, +3

IEEE Transactions on Systems Man and Cybernetics Systems

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, +3

EngineeringInformation SecurityVerificationSecurity AuditsSmart Contracts +14

Blockchain and Smart Contracts for Insurance: Is the Technology Mature Enough?

Valentina Gatteschi, Fabrizio Lamberti, Claudio Giovanni Demartini, +2

Future Internet

Technology Mature EnoughDistributed LedgerSmart ContractsFinancial ProtectionInsurance Distribution +21

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, +8

EngineeringEthereum CommunityVerificationComputer ArchitectureSoftware Analysis +24

A Novel PCA-Firefly Based XGBoost Classification Model for Intrusion Detection in Networks Using GPU

Sweta Bhattacharya, Siva Rama Krishnan S, Praveen Kumar Reddy Maddikunta, +5

Electronics

EngineeringMachine LearningInformation SecurityBiometricsIntrusion Detection Systems +17

A Blockchain-Based Solution for Enhancing Security and Privacy in Smart Factory

Jiafu Wan, Jiapeng Li, Muhammad Imran, +2

IEEE Transactions on Industrial Informatics

EngineeringInformation SecurityDistributed LedgerSmart FactoryHardware Security +19

Smart Choice for the Smart Grid: Narrowband Internet of Things (NB-IoT)

Yuke Li, Xiang Cheng, Yang Cao, +2

IEEE Internet of Things Journal

Low PowerEngineeringSmart GridEnergy IotEdge Computing +10

Privacy-preserving blockchain-based electric vehicle charging with dynamic tariff decisions

Fabian Knirsch, Andreas Unterweger, Dominik Engel

Computer Science - Research and Development

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin, +1

EngineeringVerificationSoftware EngineeringSmart ContractsSoftware Analysis +15

Cryptographic Solutions for Industrial Internet-of-Things: Research Challenges and Opportunities

Kim‐Kwang Raymond Choo, Stefanos Gritzalis, Jong Hyuk Park

IEEE Transactions on Industrial Informatics

EngineeringIiot ApplicationsInformation SecurityIndustrial IotIot System +14