pypi: Solidity | Projects | Ecosyste.ms: Papers

10.3390/e22020203

An Analysis of Smart Contracts Security Threats Alongside Existing Solutions
Cited by: 18
Author(s): Antonio López Vivar, Alberto Turégano Castedo, Ana Lucila Sandoval Orozco, Luis Javier García Villalba
Software Mentions: 13
Published: over 4 years ago

10.3390/s18082575

Blockchain and IoT Integration: A Systematic Survey
Cited by: 491
Author(s): Alfonso Panarello, Nachiket Tapas, Giovanni Merlino, Francesco Longo, Antonio Puliafito
Software Mentions: 6
Published: about 6 years ago

10.1371/journal.pone.0240041

Towards an open and decentralized case law curation ecosystem
Cited by: 1
Author(s): Eleni Panagou, Manolis Vavalis
Software Mentions: 6
Published: almost 4 years ago

10.3390/s18020574

Patch Transporter: Incentivized, Decentralized Software Patch System for WSN and IoT Environments
Cited by: 17
Author(s): Jong-Hyup Lee
Software Mentions: 5
Published: over 6 years ago

10.3390/s20143965

Edge Computing to Secure IoT Data Ownership and Trade with the Ethereum Blockchain
Cited by: 34
Author(s): Anum Nawaz, Jorge Peña Queralta, Jixin Guan, Muhammad Awais, Tuan Nguyen Gia, Ali Kashif Bashir, Haibin Kan, Tomi Westerlund
Software Mentions: 5
Published: about 4 years ago

10.1007/978-3-030-53288-8_10

Synthesis of Super-Optimized Smart Contracts Using Max-SMT
Cited by: 12
Author(s): Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
Software Mentions: 4
Published: over 4 years ago

10.3390/s21175951

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
Cited by: 2
Author(s): Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
Software Mentions: 3
Published: about 3 years ago

10.3390/s21154955

Interoperable Blockchains for Highly-Integrated Supply Chains in Collaborative Manufacturing
Cited by: 21
Author(s): Paolo Bellavista, Christian Esposito, Luca Foschini, Carlo Giannelli, Nicola Mazzocca, Rebecca Montanari
Software Mentions: 3
Published: about 3 years ago

10.1098/rsos.201446

Understanding gambling behaviour and risk attitudes using cryptocurrency-based casino blockchain data
Cited by: 10
Author(s): Jonathan Meng, Feng Fu
Software Mentions: 3
Published: almost 4 years ago

10.3390/s20092483

A Blockchain-Assisted Intelligent Transportation System Promoting Data Services with Privacy Protection
Cited by: 22
Author(s): Yuhong Li, Kun Ouyang, Nanxuan Li, Rahim Rahmani, Haojun Yang, Yiwei Pei
Software Mentions: 3
Published: over 4 years ago

10.1371/journal.pone.0240693

Inside the decentralised casino: A longitudinal study of actual cryptocurrency gambling transactions
Cited by: 6
Author(s): Oliver James Scholten, David Zendle, James Alfred Walker
Software Mentions: 3
Published: almost 4 years ago

10.3390/s18103577

Smart Contract-Based Review System for an IoT Data Marketplace
Cited by: 68
Author(s): Jaebeom Park, Taek-Young Youn, Hye-Bin Kim, Kyung-Hyune Rhee, Sang-Uk Shin
Software Mentions: 3
Published: almost 6 years ago

10.3390/healthcare9081019

A Blockchain and Artificial Intelligence-Based, Patient-Centric Healthcare System for Combating the COVID-19 Pandemic: Opportunities and Applications
Cited by: 40
Author(s): Mohamed Yaseen Jabarulla, Heung-No Lee
Software Mentions: 3
Published: about 3 years ago

10.3390/s21061985

A Smart Contract-Based P2P Energy Trading System with Dynamic Pricing on Ethereum Blockchain
Cited by: 27
Author(s): Jae Song, Eung Seon Kang, Hyeon Woo Shin, Ji-Woong Jang
Software Mentions: 2
Published: over 3 years ago

10.3390/s19112647

Approaching the Communication Constraints of Ethereum-Based Decentralized Applications
Cited by: 14
Author(s): Matevž Pustišek, Anton Umek, Andrej Kos
Software Mentions: 2
Published: over 5 years ago

10.1007/978-3-030-53288-8_8

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
Cited by: 14
Author(s): Daejun Park, Yi Zhang, Grigore Roşu
Software Mentions: 2
Published: over 4 years ago

10.3390/s21134440

Validation of Architecture Effectiveness for the Continuous Monitoring of File Integrity Stored in the Cloud Using Blockchain and Smart Contracts
Cited by: 1
Author(s): Alexandre Pinheiro, Edna Dias Canedo, Robson de Oliveira Albuquerque, Rafael Timóteo de Sousa Júnior
Software Mentions: 2
Published: about 3 years ago

10.3390/s21093119

Secure Combination of IoT and Blockchain by Physically Binding IoT Devices to Smart Non-Fungible Tokens Using PUFs
Cited by: 40
Author(s): Javier Arcenegui, Rosario Arjona, Roberto Román, I. Baturone
Software Mentions: 2
Published: over 3 years ago

10.3390/s21155035

BlockPres: A Novel Blockchain-Based Incentive Mechanism to Mitigate Inequalities for Prescription Management System
Cited by: 3
Author(s): Alan T. Litchfield, Arshad Khan
Software Mentions: 2
Published: about 3 years ago

10.1186/s12911-020-01275-y

Towards developing a secure medical image sharing system based on zero trust principles and blockchain technology
Cited by: 41
Author(s): Maliha Sultana, Afrida Hossain, Fabiha Laila, Kazi Abu Taher, Muhammad Nazrul Islam
Software Mentions: 2
Published: almost 4 years ago

10.3390/s18010162

Blockchain Based Decentralized Management of Demand Response Programs in Smart Energy Grids
Cited by: 419
Author(s): Claudia Pop, Tudor Cioara, Claudia Antal, Ionut Anghel, Ioan Salomie, Massimo Bertoncini
Software Mentions: 2
Published: over 6 years ago

10.1186/s12920-020-00732-x

Using Ethereum blockchain to store and query pharmacogenomics data via smart contracts
Cited by: 34
Author(s): Gamze Gürsoy, Charlotte M. Brannon, Mark Gerstein
Software Mentions: 2
Published: over 4 years ago

10.2196/13601

Building a Secure Biomedical Data Sharing Decentralized App (DApp): Tutorial
Cited by: 20
Author(s): Matthew J. Johnson, Michael N. Jones, Mark Shervey, Joel T. Dudley, Noah Zimmerman
Software Mentions: 2
Published: almost 5 years ago

10.2196/19029

Generalizable Layered Blockchain Architecture for Health Care Applications: Development, Case Studies, and Evaluation
Cited by: 19
Author(s): Yan Zhuang, Yin-Wu Chen, Zon-Yin Shae, Chi‐Ren Shyu
Software Mentions: 2
Published: about 4 years ago

10.2196/18623

Combating Health Care Fraud and Abuse: Conceptualization and Prototyping Study of a Blockchain Antifraud Framework
Cited by: 24
Author(s): Tim K. Mackey, Ken Miyachi, Danny Fung, Samson Qian, James E. Short
Software Mentions: 2
Published: about 4 years ago

10.3390/s20195678

Blockchain and Demand Response: Zero-Knowledge Proofs for Energy Transactions Privacy
Cited by: 29
Author(s): Claudia Pop, Claudia Antal, Tudor Cioara, Ionut Anghel, Ioan Salomie
Software Mentions: 1
Published: almost 4 years ago

10.7717/peerj-cs.407

Blockchain and smart contract for IoT enabled smart agriculture
Cited by: 68
Author(s): Tahmid Hasan Pranto, Abdulla All Noman, Atik Mahmud, Akm Bahalul Haque
Software Mentions: 1
Published: over 3 years ago

10.1039/d0sc01523g

Computational chemistry experiments performed directly on a blockchain virtual computer
Cited by: 10
Author(s): Magnus W. D. Hanson‐Heine, Alexander P. Ashmore
Software Mentions: 1
Published: over 4 years ago

10.1016/j.csbj.2018.08.002

A Blockchain-Based Notarization Service for Biomedical Knowledge Retrieval
Cited by: 70
Author(s): Athina-Styliani Kleinaki, Petros Mytis-Gkometh, George Drosatos, Pavlos S. Efraimidis, Eleni Kaldoudi
Software Mentions: 1
Published: over 6 years ago

10.12688/f1000research.9756.1

Improving data transparency in clinical trials using blockchain smart contracts
Cited by: 197
Author(s): Timothy Nugent, David M. Upton, Mihai Cimpoeşu
Software Mentions: 1
Published: almost 8 years ago

10.1007/978-3-030-44914-8_9

SMT-Friendly Formalization of the Solidity Memory Model
Cited by: 13
Author(s): Ákos Hajdu, Dejan Jovanović
Software Mentions: 1
Published: over 4 years ago

10.3390/s19051235

A Secured Proxy-Based Data Sharing Module in IoT Environments Using Blockchain
Cited by: 30
Author(s): Kwame Opuni-Boachie Obour Agyekum, Qi Xia, Emmanuel Boateng Sifah, Jianbin Gao, Hu Xia, Xiaojiang Du, Moshen Guizani
Software Mentions: 1
Published: over 5 years ago

10.3390/s19122749

A Personalized QoS Prediction Method for Web Services via Blockchain-Based Matrix Factorization
Cited by: 19
Author(s): Wei Cai, Xin Du, Jianlong Xu
Software Mentions: 1
Published: about 5 years ago

10.3390/s19153267

Crowdsourced Traffic Event Detection and Source Reputation Assessment Using Smart Contracts
Cited by: 15
Author(s): Jernej Mihelj, Yuwei Zhang, Andrej Kos, Urban Sedlar
Software Mentions: 1
Published: about 5 years ago

10.3390/s20164482

Enhancing Border Gateway Protocol Security Using Public Blockchain
Cited by: 6
Author(s): Lukas Mastilak, Marek Galinski, Pavol Helebrandt, Ivan Kotuliak, Michal Ries
Software Mentions: 1
Published: about 4 years ago

10.3390/s21030862

Beacons and Blockchains in the Mobile Gaming Ecosystem: A Feasibility Analysis
Cited by: 8
Author(s): Iakovos Pittaras, Nikos Fotiou, Vasilios A. Siris, George C. Polyzos
Software Mentions: 1
Published: over 3 years ago

10.3390/s21072452

Privacy-Preserving IoT Data Aggregation Based on Blockchain and Homomorphic Encryption
Cited by: 18
Author(s): Faiza Loukil, Chirine Ghedira-Guegan, Khouloud Boukadi, Aïcha-Nabila Benharkat
Software Mentions: 1
Published: over 3 years ago

10.3390/s21155146

A Blockchain-Based Spatial Crowdsourcing System for Spatial Information Collection Using a Reward Distribution
Cited by: 5
Author(s): Masoud Kamali, M. R. Malek, Sara Saeedi, Steve H. L. Liang
Software Mentions: 1
Published: about 3 years ago

10.3390/s21165307

Third Party Certification of Agri-Food Supply Chain Using Smart Contracts and Blockchain Tokens
Cited by: 28
Author(s): Ricardo Borges dos Santos, Nunzio Marco Torrisi, Rodrigo Palucci Pantoni
Software Mentions: 1
Published: about 3 years ago

10.3390/s21186227

skillsChain: A Decentralized Application That Uses Educational Robotics and Blockchain to Disrupt the Educational Process
Cited by: 1
Author(s): Panayiotis Christodoulou, Andreas S. Andreou, Zinon Zinonos
Software Mentions: 1
Published: about 3 years ago

10.2196/15472

Development and Evaluation of a Smart Contract–Enabled Blockchain System for Home Care Service Innovation: Mixed Methods Study
Cited by: 7
Author(s): Shuchih Ernest Chang, YiChian Chen, Ming-Fang Lu, Hueimin Louis Luo
Software Mentions: 1
Published: about 4 years ago

Projects: pypi: Solidity

Papers Mentioning Solidity 41