|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1372 occurrences of 797 keywords
|
|
|
Results
Found 4935 publication records. Showing 4935 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Le Cong Trinh, Vu Trung Kien, Trinh Minh Hoang, Nguyen Huu Quyen, Nghi Hoang Khoa, Phan The Duy, Van-Hau Pham |
A Multimodal Deep Learning Approach for Efficient Vulnerability Detection in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pp. 3421-3426, 2023, IEEE, 979-8-3503-1090-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Boussad Ait Salem, Abdelhamid Mellouk |
VNFO-DCSC: A Novel Secure End-to-End NFV Marketplace Using Dynamic Composite Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pp. 1632-1637, 2023, IEEE, 979-8-3503-1090-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | William Van Woensel, Manan Shukla, Oshani Seneviratne |
Translating Clinical Decision Logic Within Knowledge Graphs to Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SeWeBMeDA@ESWC ![In: Proceedings of the 6th Workshop on Semantic Web Solutions for Large-Scale Biomedical Data Analytics co-located with ESWC 2023, Hersonissos, Greece, May 29, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Sumati Kulkarni, Joseph Wireman, Nasseh Tabrizi |
Framework for Design and Development of Blockchain Applications Using Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: Blockchain - ICBC 2023 - 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings, pp. 119-131, 2023, Springer, 978-3-031-44919-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kazumasa Omote, Tatsuhiro Fukuda |
A Secure Contact Tracing Method Using Smart Contracts with Considering Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: Blockchain - ICBC 2023 - 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings, pp. 89-103, 2023, Springer, 978-3-031-44919-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Emanuele Antonio Napoli, Valentina Gatteschi |
Evaluating ChatGPT for Smart Contracts Vulnerability Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023, pp. 1828-1833, 2023, IEEE, 979-8-3503-2697-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zulfiqar Ali Khan, Akbar Siami Namin |
Dynamic Analysis for Detection of Self-Destructive Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023, pp. 1093-1100, 2023, IEEE, 979-8-3503-2697-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Peng Dong, Yunzhe Li, Weimin Ye |
A study of quality management contracts for complex product supply chains considering quality and on-time delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMMS ![In: Proceedings of the 2023 6th International Conference on Information Management and Management Science, IMMS 2023, Chengdu, China, August 25-27, 2023, pp. 329-337, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohamed Mekkouri, Christine Hennebert |
Practices for Assessing the Security Level of Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPS (1) ![In: Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I, pp. 71-86, 2023, Springer, 978-3-031-57536-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | K. Biczysko-Pudelko |
Algorithmic Contracts in European and United States Contract Law - A Comparative Legal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 46th MIPRO ICT and Electronics Convention, MIPRO 2023, Opatija, Croatia, May 22-26, 2023, pp. 1452-1456, 2023, IEEE, 978-953-233-104-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Martina Rossini, Mirko Zichichi, Stefano Ferretti |
On the Use of Deep Neural Networks for Security Vulnerabilities Detection in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2023, Atlanta, GA, USA, March 13-17, 2023, pp. 74-79, 2023, IEEE, 978-1-6654-5381-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Md. Jobair Hossain Faruk, Bilash Saha, Jim Basney |
A Comparative Analysis Between SciTokens, Verifiable Credentials, and Smart Contracts: Novel Approaches for Authentication and Secure Access to Scientific Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARC ![In: Practice and Experience in Advanced Research Computing, PEARC 2023, Portland, OR, USA, July 23-27, 2023, pp. 302-305, 2023, ACM, 978-1-4503-9985-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Issam Al-Azzoni, Saqib Iqbal |
Model-Driven Approach for Generating Smart Contracts for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCCA ![In: Fifth International Conference on Blockchain Computing and Applications, BCCA 2023, Kuwait, Kuwait, October 24-26, 2023, pp. 112-115, 2023, IEEE, 979-8-3503-3923-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xirong Cao, Mohamed Rahouti, Senthil Kumar Jagatheesaperumal, Kaiqi Xiong |
Psychological Information Sharing Using Ethereum Blockchain and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCCA ![In: Fifth International Conference on Blockchain Computing and Applications, BCCA 2023, Kuwait, Kuwait, October 24-26, 2023, pp. 561-568, 2023, IEEE, 979-8-3503-3923-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tamer Abdelaziz, Aquinas Hobor |
Schooling to Exploit Foolish Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCCA ![In: Fifth International Conference on Blockchain Computing and Applications, BCCA 2023, Kuwait, Kuwait, October 24-26, 2023, pp. 388-395, 2023, IEEE, 979-8-3503-3923-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
Formal Modeling and Verification of ERC Smart Contracts: Application to NFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, pp. 556-561, 2023, IEEE, 979-8-3503-0048-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu 0003 |
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 796-807, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chenyang Ma, Wei Song 0003, Jeff Huang 0001 |
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 947-959, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sunbeom So, Hakjoo Oh |
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 185-197, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ravital Solomon, Rick Weber, Ghada Almashaqbeh |
smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023, pp. 309-331, 2023, IEEE, 978-1-6654-6512-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Roshan Singh, Debanjan Roy Chowdhury, Sukumar Nandi, Sunit Kumar Nandi |
ATOM : A Decentralized Task Offloading Framework for Mobile Edge Computing through Blockchain and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MetaCom ![In: IEEE International Conference on Metaverse Computing, Networking and Applications, MetaCom 2023, Kyoto, Japan, June 26-28, 2023, pp. 408-412, 2023, IEEE, 979-8-3503-3333-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
Automated Property-Based Testing from AADL Component Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, pp. 131-150, 2023, Springer, 978-3-031-43680-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Hoang Huong Luong, Bao Q. Tran, Hieu M. Doan, Nguyen D. P. Trong, Hieu Le Van, Loc Van Cao Phu, Duy Nguyen Truong Quoc, Kiet T. Le, Nguyen H. Tran, Anh N. The, Huynh H. Nghia, Phuc Nguyen Trong, Khoa Tran Dang, Khiem Huynh Gia, Bang Le Khanh, Ngan N. T. Kim, Hong Khanh Vo |
Towards a Cash-on-Delivery Management Solution Based on Blockchain, Smart Contracts, and NFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (Workshops) ![In: Database Systems for Advanced Applications. DASFAA 2023 International Workshops - BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings, pp. 51-66, 2023, Springer, 978-3-031-35414-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ada Bagozi, Devis Bianchini, Valeria De Antonellis, Massimiliano Garda, Michele Melchiori |
Multi-perspective Description and Search of Smart Contracts for DApp Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023., pp. 151-159, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Lucian Trestioreanu, Wazen M. Shbair, Flaviene Scheidt de Cristo, Radu State |
Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAPPS ![In: IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023, pp. 145-150, 2023, IEEE, 979-8-3503-3535-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Schiffl, Alexander Weigl, Bernhard Beckert |
Static Capability-Based Security for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAPPS ![In: IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023, pp. 110-117, 2023, IEEE, 979-8-3503-3535-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Liliia Shumyliak, Lubos Cibák, Sergey Ostapov, Abdel-Badeeh M. Salem, Yaroslav Skrypnyk |
Practical Implementation of Smart Contracts for Payment of Digital Goods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security, Khmelnytskyi, Ukraine, March 22-24, 2023., pp. 672-680, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Zhihao Hou, Jinji Yang, Ruilin Lai, Yale He, Zefeng Mo, Gansen Zhao |
Subscription-Based State Access for Cross-Chain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 2763-2766, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Martin Gogolla, Lars Hamann |
Proving Properties of Operation Contracts with Test Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 97-107, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Paul Duetting, Michal Feldman, Daniel Peretz |
Ambiguous Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings of the 24th ACM Conference on Economics and Computation, EC 2023, London, United Kingdom, July 9-12, 2023, pp. 539, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tal Alon, Paul Duetting, Yingkai Li, Inbal Talgam-Cohen |
Bayesian Analysis of Linear Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings of the 24th ACM Conference on Economics and Computation, EC 2023, London, United Kingdom, July 9-12, 2023, pp. 66, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nemanja Antic, George Georgiadis |
Robust Contracts: A Revealed Preference Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings of the 24th ACM Conference on Economics and Computation, EC 2023, London, United Kingdom, July 9-12, 2023, pp. 112, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Semi Yulianto, Harco Leslie Hendric Spits Warnars, Harjanto Prabowo, Meyliana, Achmad Nizar Hidayanto |
Security Risks and Best Practices for Blockchain and Smart Contracts: A Systematic Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIMTech ![In: International Conference on Information Management and Technology, ICIMTech 2023, Malang, Indonesia, August 24-25, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2609-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 153-171, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Agata Kozina, Lukasz Kuzminski, Michal Nadolny, Karolina Mialkowska, Piotr Tutak, Jakub Janus, Filip Plotnicki, Ewa Walaszczyk, Artur Rot, Damian Dziembek, Robert Król |
The default of leasing contracts prediction using machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, Athens, Greece, 6-8 September 2023., pp. 424-433, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Johannes Schneider 0002, Alfred Sopi, Jan vom Brocke |
Implementing Smart Contracts: The case of NFT-rental with "pay-per-like". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Digital Responsibility: Social, Ethical, Ecological Implications of IS, 18. Internationale Tagung Wirtschaftsinformatik (WI 2023), September 18-21, 2023, Paderborn, Germany., pp. 13, 2023, AISeL. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Wieland Müller, Michael Leyer |
Bridging the Gap: Examining the trust dimensions of smart contracts using supply chain applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWDA ![In: Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023., pp. 325-338, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Ali Hadi Al-Obeidi, Shuq Hussein |
The Legal Nature of Contracts Concluded by Artificial Intelligence According to The Uae Electronic Transactions and E-Commerce Law No. (46) of 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 24th International Arab Conference on Information Technology, ACIT 2023, Ajman, United Arab Emirates, December 6-8, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-8430-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Oleksandr Tereshchenko, Nataliia O. Komleva |
Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings, pp. 276-287, 2023, Springer, 978-3-031-48324-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Georgios Stathis, Athanasios Trantas, Giulia Biagioni, H. Jaap van den Herik, Bart Custers, Laura Daniele, Theofilos Katsigiannis |
Towards a Foundation for Intelligent Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 2, Lisbon, Portugal, February 22-24, 2023., pp. 87-98, 2023, SCITEPRESS, 978-989-758-623-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | N. T. Anh, T. D. Khoa, N. Q. Hien, L. K. Bang, T. B. Nam, V. H. Khanh, N. T. K. Ngan, M. N. Triet |
Towards a Management System of Blood and Its Products Based on Blockchain, Smart Contracts, and NFT: A Case Study in Vietnam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSoNet ![In: Computational Data and Social Networks - 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings, pp. 295-303, 2023, Springer, 978-981-97-0668-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zeqin Liao, Sicheng Hao 0001, Yuhong Nan, Zibin Zheng |
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 980-991, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang 0011, Yufan Chen, Mengjie Chen, Yang Liu 0003, Lingxiao Jiang |
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1157-1168, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Shuo Yang, Jiachi Chen, Zibin Zheng |
Definition and Detection of Defects in NFT Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 373-384, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Md. Jobair Hossain Faruk, Jim Basney, Jerry Q. Cheng |
Blockchain-Based Decentralized Verifiable Credentials: Leveraging Smart Contracts for Privacy-Preserving Authentication Mechanisms to Enhance Data Security in Scientific Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 5493-5502, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xiaozhou You, Hui Li 0022, Han Wang, Faisal Mehmood |
SmartDT: An Effective Vulnerability Detection System of Smart Contracts Based on Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 2369-2376, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zulfiqar Ali Khan, Akbar Siami Namin |
Dynamic Analysis for the Detection of Locked Ether Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 2466-2472, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tien Quyet Do, Thanh Ta Minh |
Performance analysis of Ethereum smart contracts: A Study on Gas cost and block size impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSP ![In: IEEE Statistical Signal Processing Workshop, SSP 2023, Hanoi, Vietnam, July 2-5, 2023, pp. 591-595, 2023, IEEE, 978-1-6654-5245-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alejandro M. Chirivella-Ciruelos, Marisol García-Valls |
Automating the verification of smart contracts in blockchain networks for improving security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAA ![In: 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023, Durres, Albania, September 6-8, 2023, pp. 128-131, 2023, IEEE, 979-8-3503-4235-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anwer Mbiriki |
A Consortium Model for Managing Nodes in Smart Factories Based on Blockchain and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: International Conference on Innovations in Intelligent Systems and Applications, INISTA 2023, Hammamet, Tunisia, September 20-23, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-3890-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Bouchra Rguig, Brahim Es-Sousy, Said Ouhmi, Khalid Housni |
IoT Security Based on Smart Contracts: Classification of Algorithms, Complexity, Robustness and Fields of Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINCOM ![In: 10th International Conference on Wireless Networks and Mobile Communications, WINCOM 2023, Istanbul, Turkey, October 26-28, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2967-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Luigi Buglione |
The ABC Model: Coming "Back to the Future" in (ICT) Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM-Mensura ![In: Joint Proceedings of the 32nd International Workshop on Software Measurement (IWSM) and the 17th International Conference on Software Process and Product Measurement (MENSURA), Rome, Italy, September 14-15, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke 0001, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson |
Architectural Contracts for Safe Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 41st IEEE International Conference on Computer Design, ICCD 2023, Washington, DC, USA, November 6-8, 2023, pp. 578-586, 2023, IEEE, 979-8-3503-4291-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Luca Olivieri, Luca Pasetto |
Towards Compliance of Smart Contracts with the European Union Data Act. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023., pp. 61-66, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Darusalam, Marijn Janssen, Jamaliah Said, Normah Omar, Muhammad Indra Saputra |
Smart contracts for creating transparent transactions to reduce corruption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 24th Annual International Conference on Digital Government Research, DGO 2023, Gdańsk, Poland, July 11-14, 2023, pp. 355-361, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Weimin Chen, Zihan Sun, Haoyu Wang 0001, Xiapu Luo, Haipeng Cai, Lei Wu 0012 |
Poster: Uncovering Vulnerabilities in Wasm Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 43rd IEEE International Conference on Distributed Computing Systems, ICDCS 2023, Hong Kong, July 18-21, 2023, pp. 1073-1074, 2023, IEEE, 979-8-3503-3986-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ting Chen 0002, Zihao Li 0001, Xiapu Luo, Xiaofeng Wang 0006, Ting Wang 0006, Zheyuan He, Kezhao Fang, Yufei Zhang 0002, Hang Zhu, Hongwei Li 0001, Yan Cheng, Xiaosong Zhang 0001 |
Poster: SigRec - Automatic Recovery of Function Signatures in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 43rd IEEE International Conference on Distributed Computing Systems, ICDCS 2023, Hong Kong, July 18-21, 2023, pp. 1065-1066, 2023, IEEE, 979-8-3503-3986-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Eisuke Tomiyama, Hiroshi Esaki, Hideya Ochiai |
Competitive and Asynchronous Decentralized Federated Learning with Blockchain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoodIT ![In: Proceedings of the 2023 ACM Conference on Information Technology for Social Good, GoodIT 2023, Lisbon, Portugal, September 6-8, 2023, pp. 92-99, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | David Sundaram, Valeria Sadovykh, Gabrielle Peko, Kevin Craig |
Introduction to the Minitrack on The Social and Economic Dynamics of the Metaverse, Smart Contracts, and Non-Fungible Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 4535, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
Legal Contracts Amending with [inline-graphic not available: see fulltext]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 253-270, 2023, Springer, 978-3-031-35360-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar |
Visualization Support for Contracts in VeriFast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, pp. 265-275, 2023, Gesellschaft für Informatik, Bonn, 978-3-88579-731-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Feng Wang, Yang Lu, Qiang Zhang, Yang Liu, Linlin Liu, Zhiruo Zhang |
SoK: Research status and challenges of blockchain smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSCI ![In: Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2023, Melbourne, VIC, Australia, July 10-14, 2023, pp. 145-147, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Andrei Zhukov, Vladimir Korkhov |
SmartGraph: Static Analysis Tool for Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops 1) ![In: Computational Science and Its Applications - ICCSA 2023 Workshops - Athens, Greece, July 3-6, 2023, Proceedings, Part I, pp. 584-598, 2023, Springer, 978-3-031-37104-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kazumasa Omote |
Towards Decentralized Autonomous Digital Signatures Using Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: International Conference on Information Networking, ICOIN 2023, Bangkok, Thailand, January 11-14, 2023, pp. 230-235, 2023, IEEE, 978-1-6654-6268-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jan Kaniuka, Jakub Ostrysz, Maciej Groszyk, Krzysztof Bieniek, Szymon Cyperski, Pawel D. Domanski |
Study on Cost Estimation of the External Fleet Full Truckload Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (2) ![In: Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2023, Rome, Italy, November 13-15, 2023, Volume 2, pp. 316-323, 2023, SCITEPRESS, 978-989-758-670-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Hao Li, Xu Wang 0004, Guangsheng Yu, Wei Ni 0001, Ren Ping Liu |
A Generative Adversarial Networks-Based Integer Overflow Detection Model for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIT ![In: 22nd International Symposium on Communications and Information Technologies, ISCIT 2023, Sydney, Australia, October 16-18, 2023, pp. 31-36, 2023, IEEE, 978-1-6654-5731-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yibin Xu, Tijs Slaats, Boris Düdder, Thomas Troels Hildebrandt |
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSSP ![In: IEEE/ACM International Conference on Software and System Processes, ICSSP 2023, Melbourne, Australia, May 14-15, 2023, pp. 70-80, 2023, IEEE, 979-8-3503-1196-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Afef Jmal Maâlej, Mariam Lahami |
White-Box Mutation Testing of Smart Contracts: A Quick Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 135-148, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray |
Reasoning over Test Specifications Using Assume-Guarantee Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, pp. 278-294, 2023, Springer, 978-3-031-33169-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Keerthi Nelaturu, Eric Keilty, Andreas G. Veneris |
Natural Language-Based Model-Checking Framework for Move Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDS ![In: Tenth International Conference on Software Defined Systems, SDS 2023, San Antonio, TX, USA, October 23-25, 2023, pp. 89-94, 2023, IEEE, 979-8-3503-8223-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rima Kaafarani, Leila Ismail, Oussama Zahwe |
An Adaptive Decision-Making Approach for Better Selection of Blockchain Platform for Health Insurance Frauds Detection with Smart Contracts: Development and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/EDI40 ![In: The 14th International Conference on Ambient Systems, Networks and Technologies (ANT 2023) / The 6th International Conference on Emerging Data and Industry 4.0 (EDI40 2023) / Affiliated Workshops, March 15-17, 2023, Leuven, Belgium, pp. 470-477, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sicheng Hao 0001, Yuhong Nan, Zibin Zheng, Xiaohui Liu |
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 294-306, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Issam Al-Azzoni, Reiko Heckel |
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASEW ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023, pp. 100-104, 2023, IEEE, 979-8-3503-3032-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Monika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer |
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 2102-2105, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sundas Munir, Christoph Reichenbach |
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETSEB ![In: 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB@ICSE 2023, Melbourne, Australia, May 14, 2023, pp. 9-16, 2023, IEEE, 979-8-3503-0192-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels |
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 2499-2516, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Paul Dütting, Tomer Ezra, Michal Feldman, Thomas Kesselheim |
Multi-agent Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, pp. 1311-1324, 2023, ACM, 978-1-4503-9913-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jiashuo Zhang, Yue Li 0037, Jianbo Gao, Zhi Guan, Zhong Chen 0001 |
Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023, pp. 31-35, 2023, IEEE, 979-8-3503-2263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhuo Zhang 0002, Brian Zhang, Wen Xu, Zhiqiang Lin |
Demystifying Exploitable Bugs in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 615-627, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zibin Zheng, Neng Zhang 0001, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen |
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 295-306, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, Hyoungshick Kim |
Smartmark: Software Watermarking Scheme for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 283-294, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Husnain Ahmed Janjua, Yue Li 0010, Shoaib Hayat |
Smart Scan: An Approach to Detect Denial of Service Vulnerability in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EITCE ![In: Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023, pp. 1572-1578, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Shu Liu, Yongnan Jin, Harry Lu, Shangqing Zhao, Man Lan, Yuefeng Chen, Hao Yuan |
CCC: Chinese Commercial Contracts Dataset for Documents Layout Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLPCC (2) ![In: Natural Language Processing and Chinese Computing - 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II, pp. 704-716, 2023, Springer, 978-3-031-44695-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi |
Model Checking of Hyperledger Fabric Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-3991-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Emanuel Onica, Marius Georgica |
Can Smart Contracts Become Smart?: An Overview of Transaction Impact on Ethereum DApp Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICG@Middleware ![In: Proceedings of the 4th International Workshop on Distributed Infrastructure for the Common Good, DICG 2023, Bologna, Italy, December 11-15, 2023, pp. 31-36, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kelvin O. O. Anoh, Dejan Vukobratovic, Thomas Morstyn, Dragana Bajovic, Bamidele Adebisi |
Maximising Power-Network Utility with Delivery Contracts in Energy Peer-to-Peer Trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartGridComm ![In: IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm IEEE, Glasgow, United Kingdom, October 31 - November 3, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-5556-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai |
Formal Verification of Smart Contracts Based on Model Checking: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-5043-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | P. D. X. Duy, The Anh Nguyen, Khanh Vo Hong, Khoa Tran Dang, Khiem Huynh Gia, N. T. Phuc, Hieu M. Doan, N. V. Minh, T. Q. Thuan, L. K. Bang, Bao Q. Tran, Ngan N. T. Kim, L. K. Tung, N. T. Vinh, M. N. Triet |
Blockchain Solutions to the Letter-of-Credit Problem: Leveraging NFTs, Smart Contracts, and IPFS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: Services Computing - SCC 2023 - 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings, pp. 48-62, 2023, Springer, 978-3-031-51673-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chuan Li, Fang Yang, Xintong Sun, Jielin Yang |
Research Trends in Smart Contracts in Blockchain 3.0 Phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: Services Computing - SCC 2023 - 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings, pp. 79-92, 2023, Springer, 978-3-031-51673-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nguyen D. P. Trong, Kha Nguyen Hoang, M. N. Triet, Khanh Vo Hong, T. D. Khoa, H. G. Khiem, N. T. Phuc, M. D. Hieu, N. V. Minh, P. D. X. Duy, T. Q. Thuan, L. K. Bang, Bao Q. Tran, N. T. K. Ngan, L. K. Tung, Vinh-Tiep Nguyen |
Blockchain-Enhanced Pediatric Vaccine Management: A Novel Approach Integrating NFTs, IPFS, and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: Services Computing - SCC 2023 - 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings, pp. 63-78, 2023, Springer, 978-3-031-51673-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kha Nguyen Hoang, Nguyen D. P. Trong, N. M. Triet, Khoa Tran Dang, Khiem Huynh Gia, Phuc Nguyen Trong, Hieu M. Doan, N. V. Minh, P. D. X. Duy, T. Q. Thuan, Bang Le Khanh, Bao Q. Tran, Ngan N. T. Kim, L. K. Tung, Vinh-Tiep Nguyen |
Blockchain-Driven Pet Healthcare: Integrating NFTs, IPFS, and Smart Contracts for Enhanced Pet Medical Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: Services Computing - SCC 2023 - 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings, pp. 33-47, 2023, Springer, 978-3-031-51673-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ala Mughaid, Ibrahim Obeidat, Andaleeb Shdaifat, Razan Alhayjna, Shadi AlZu'bi |
Modelling And Simulation For Detecting Vulnerabilities And Security Threats Of Smart Contracts Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMEC ![In: Eighth International Conference on Fog and Mobile Edge Computing, FMEC 2023, Tartu, Estonia, September 18-20, 2023, pp. 123-127, 2023, IEEE, 979-8-3503-1697-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rastislav Budinský, Ivana Stancíková, Ivan Homoliak |
Mitigating Undercutting Attacks: Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023, pp. 25-32, 2023, IEEE, 979-8-3503-1929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sundas Munir, Mirza Sanam Iqbal Baig, Mah Noor, Syeda Hina Murad |
Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023, pp. 47-54, 2023, IEEE, 979-8-3503-1929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rishal Ravikesh Chand, A. B. M. Shawkat Ali, Peng Zhang |
Blockchain-Based Smart Contracts for Land Title Registry Opportunities and Adaption for fiji. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2023, Danzhou, China, December 17-21, 2023, pp. 247-255, 2023, IEEE, 979-8-3503-1929-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Usman Tahir, Fiza Siyal, Michele Ianni, Antonella Guzzo, Giancarlo Fortino |
Exploiting Bytecode Analysis for Reentrancy Vulnerability Detection in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/CBDCom/CyberSciTech ![In: IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2023, Abu Dhabi, United Arab Emirates, November 14-17, 2023, pp. 779-783, 2023, IEEE, 979-8-3503-0460-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Adriano Gomes |
Effective Agile Contracts Framework for Software Innovation Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASE ![In: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023, pp. 307-312, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mykola Kolomoyets, Yurii Kynash |
Modern approaches to interact Smart-Contracts in React.js development with ThirdWeb framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: 18th IEEE International Conference on Computer Science and Information Technologies, CSIT 2023, Lviv, Ukraine, October 19-21, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-6046-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Josef Lubas, Johann Eder |
A Time-Aware Model for Legal Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPMDS/EMMSAD@CAiSE ![In: Enterprise, Business-Process and Information Systems Modeling - 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings, pp. 121-135, 2023, Springer, 978-3-031-34240-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nengyu Xia, Yixin Zhang, Wei Ren, Xianyi Chen |
CFGCon: A Scheme for Accurately Generating Control Flow Graphs of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM (3) ![In: Web and Big Data - 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part III, pp. 265-279, 2023, Springer, 978-981-97-2386-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|