|
|
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 | Martin Westerkamp, Axel Küpper |
Instant Function Calls Using Synchronized Cross-Blockchain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 20(3), pp. 2136-2150, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk |
A formal verification approach for composite smart contracts security using FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 35(1), pp. 70-86, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Moez Krichen |
Strengthening the Security of Smart Contracts through the Power of Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 12(5), pp. 107, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yingying Ning, Jing Li, Ming Zhu |
Web service selection method based on blockchain smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 19(4), pp. 487-515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Faizan Khan, Istvan David, Dániel Varró, Shane McIntosh |
Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(4), pp. 2006-2019, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhou Liao, Shuwei Song, Hang Zhu, Xiapu Luo, Zheyuan He, Renkai Jiang, Ting Chen 0002, Jiachi Chen, Tao Zhang 0001, Xiaosong Zhang 0001 |
Large-Scale Empirical Study of Inline Assembly on 7.6 Million Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(2), pp. 777-801, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Amir Mohammad Ebrahimi, Gustavo Ansaldi Oliva, Ahmed E. Hassan |
Self-Admitted Technical Debt in Ethereum Smart Contracts: A Large-Scale Exploratory Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(9), pp. 4304-4323, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhaoxuan Li, Siqi Lu, Rui Zhang 0016, Ziming Zhao 0008, Rujin Liang, Rui Xue 0001, Wenhao Li, Fan Zhang 0010, Sheng Gao 0002 |
VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(11), pp. 4886-4916, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wuqi Zhang, Lili Wei, Shing-Chi Cheung, Yepang Liu 0001, Shuqing Li, Lu Liu, Michael R. Lyu |
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(6), pp. 3630-3646, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jing Sun, Amanuel Tekleab, Millissa Cheung, Wei-Ping Wu |
The contingent roles of market turbulence and organizational innovativeness on the relationships among interfirm trust, formal contracts, interfirm knowledge sharing and firm performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Knowl. Manag. ![In: J. Knowl. Manag. 27(5), pp. 1436-1457, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Adrian Delchev, Ioannis Sfyrakis, Ellis Solaiman |
Developing a Compiler for EROP - A Language for the Specification of Smart Contracts, An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.01595, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tomer Ezra, Michal Feldman, Maya Schlesinger |
On the (In)approximability of Combinatorial Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18425, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo |
Gradual Verification for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.13351, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jiashuo Zhang, Jiachi Chen, Zhiyuan Wan, Ting Chen, Jianbo Gao, Zhong Chen 0001 |
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09685, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Paul Dütting, Michal Feldman, Daniel Peretz |
Ambiguous Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07621, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rastislav Budinský, Ivan Homoliak, Ivana Stancíková |
Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.04910, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Meng Li, Liehuang Zhu |
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.20212, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Sendner, Lukas Petzi, Jasper Stang, Alexandra Dmitrienko |
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.16533, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese |
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.05128, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Feng Mi, Chen Zhao 0010, Zhuoyi Wang, Sadaf Md. Halim, Xiaodi Li, Zhouxiang Wu, Latifur Khan, Bhavani Thuraisingham |
An Automated Vulnerability Detection Framework for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.08824, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke 0001, Marco Guarnieri |
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06979, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Sendner, Ruisi Zhang, Alexander Hefter, Alexandra Dmitrienko, Farinaz Koushanfar |
G-Scan: Graph Neural Networks for Line-Level Vulnerability Identification in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08549, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Scott Seidenberger, Alec Sokol, Anindya Maiti |
Stake Your Claim: Zero-Trust Validator Deployment Leveraging NFTs and Smart Contracts in Proof-of-Stake Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01158, 2023. 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 a Blockchain Platform for Health Insurance Frauds Detection with Smart Contracts: Development and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.07584, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Reiner Hähnle, Eduard Kamburjan, Marco Scaletta |
Context-aware Trace Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.04384, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo 0002, Gerardo Schneider, Patrizio Pelliccione |
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.08144, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tamer Abdelaziz, Aquinas Hobor |
Smart Learning to Find Dumb Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10726, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Stefan-Claudiu Susan, Andrei Arusoaie |
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FROM ![In: Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023., pp. 144-151, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nii Osae Osae Dade, Margaret Lartey-Quaye, Emmanuel Teye-Kofi Odonkor, Paul Ammah |
Optimizing Large Language Models to Expedite the Development of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05178, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Maria Alejandra Ramirez, Yoav Kolumbus, Rosemarie Nagel, David H. Wolpert, Jürgen Jost |
Game Manipulators - the Strategic Implications of Binding Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10586, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tran Viet Khoa, Do Hai Son, Chi-Hieu Nguyen, Dinh Thai Hoang, Diep N. Nguyen, Nguyen Linh Trung, Tran Thi Thuy Quynh, Trong-Minh Hoang, Nguyen Viet Ha 0001, Eryk Dutkiewicz |
Securing Blockchain Systems: A Novel Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.15804, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Molina-Jiménez, Sandra Milena Felizia |
On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.07565, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohsen Banaei, Majid Oloomi Buygi, Hani Raouf Sheybani, Razgar Ebrahimy, Henrik Madsen |
Nash Equilibrium of Joint Day-ahead Electricity Markets and Forward Contracts in Congested Power Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.08712, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Manaswini Piduguralla, Saheli Chakraborty, Parwat Singh Anjana, Sathya Peri |
An Efficient Framework for Execution of Smart Contracts in Hyperledger Sawtooth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.08452, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Paul Dütting, Michal Feldman, Yoav Gal Tzur |
Combinatorial Contracts Beyond Gross Substitutes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.10766, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Abhinav Jain, Ehan Masud, Michelle Han, Rohan Dhillon, Sumukh Rao, Arya Joshi, Salar Cheema, Saurav Kumar |
Two Timin': Repairing Smart Contracts With A Two-Layered Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.07841, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Ivanov, Chenning Li, Qiben Yan, Zhiyuan Sun, Zhichao Cao 0001, Xiapu Luo |
Security Threat Mitigation For Smart Contracts: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07347, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Holler, Sebastian Biewer, Clara Schneidewind |
HoRStify: Sound Security Analysis of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13769, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura |
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.04250, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Pengcheng Fang, Peng Gao 0008, Yun Peng, Qingzhao Zhang, Tao Xie 0001, Dawn Song, Prateek Mittal, Sanjeev R. Kulkarni, Zhuotao Liu, Xusheng Xiao |
CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08912, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Monika Di Angelo, Gernot Salzer |
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.11624, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Dawei Sun, Benjamin C. Yang, Sayan Mitra |
Learning-based Perception Contracts and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.13515, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, Arthur Gervais |
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.14046, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Peng Zhang, Jiaquan Wei, Yuhong Liu, Hongwei Liu |
Proxy Re-encryption based Fair Trade Protocol for Digital Goods Transactions via Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.01299, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Johnnatan Messias, Vabuk Pahari, Balakrishnan Chandrasekaran 0002, Krishna P. Gummadi, Patrick Loiseau |
Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17655, 2023. 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) |
CoRR ![In: CoRR abs/2303.13733, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohammad Khodadadi, Jafar Tahmoresnezhad |
HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.13103, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Francesco Bacchiocchi, Matteo Castiglioni, Alberto Marchesi 0001, Nicola Gatti 0001 |
Learning Optimal Contracts: How to Exploit Small Action Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.09801, 2023. 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) |
CoRR ![In: CoRR abs/2306.05057, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Adam Roegiest, Radha Chitta, Jonathan Donnelly, Maya Lash, Alexandra Vtyurina, François Longtin |
A Search for Prompts: Generating Structured Answers from Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alfred Sopi, Johannes Schneider 0002, Jan vom Brocke |
Implementing Smart Contracts: The case of NFT-rental with pay-per-like. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.02424, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas |
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.13499, 2023. 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 |
SigRec: Automatic Recovery of Function Signatures in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.07067, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra |
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08652, 2023. 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) |
CoRR ![In: CoRR abs/2303.13770, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Phan The Duy, Nghi Hoang Khoa, Nguyen Huu Quyen, Le Cong Trinh, Vu Trung Kien, Trinh Minh Hoang, Van-Hau Pham |
VulnSense: Efficient Vulnerability Detection in Ethereum Smart Contracts by Multimodal Learning with Graph Neural Network and Language Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08474, 2023. 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) |
CoRR ![In: CoRR abs/2305.15829, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ike Smith, Casey Clifton |
Shackled: a 3D Rendering Engine Programmed Entirely in Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.06702, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhiyuan Wei, Jing Sun, Zijian Zhang, Xianhao Zhang, Xiaoxuan Yang, Liehuang Zhu |
Survey on Quality Assurance of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.00270, 2023. 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) |
CoRR ![In: CoRR abs/2304.10737, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Syeda Khairunnesa Samantha, Shibbir Ahmed, Sayem Mohammad Imtiaz, Hridesh Rajan, Gary T. Leavens |
What Kinds of Contracts Do ML APIs Need? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14465, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Quang Tran, Lin Chen 0009, Lei Xu 0012, Yang Lu, Rabimba Karanjai, Weidong Shi |
Cross Chain Bribery Contracts: Majority vs Mighty Minority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.07984, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
CLawK: Monitoring Business Processes in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08254, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anmol Singhal, Preethu Rose Anish, Shirish S. Karande, Smita Ghaisas |
Towards Mitigating Perceived Unfairness in Contracts from a Non-Legal Stakeholder's Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.01398, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sundas Munir, Walid Taha |
Pre-deployment Analysis of Smart Contracts - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.06079, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Efrain Quintero Narvaez, Raúl Monroy Borja |
Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13618, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nick Tehrany, Krijn Doekemeijer, Animesh Trivedi |
Understanding (Un)Written Contracts of NVMe ZNS Devices with zns-tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11860, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Ivanov, Qiben Yan, Anurag Kompalli |
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.08806, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sven Smolka, Jens-Rene Giesen, Pascal Winkler, Oussama Draissi, Lucas Davi, Ghassan Karame, Klaus Pohl |
Fuzz on the Beach: Fuzzing Solana Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.03006, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino |
Secure compilation of rich smart contracts on poor UTXO blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09545, 2023. 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) |
CoRR ![In: CoRR abs/2311.13422, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nikolaj S. Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo, Peng Liu, Nanqing Luo |
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.08655, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ramiro Deo-Campo Vuong, Shaddin Dughmi, Neel Patel, Aditya Prasad |
On Supermodular Contracts and Dense Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07473, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Isra Mohamed Ali, Noureddine Lasla, Mohamed M. Abdallah 0001, Aiman Erbad |
SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 216, pp. 103658, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Ivanov, Chenning Li, Qiben Yan, Zhiyuan Sun, Zhichao Cao 0001, Xiapu Luo |
Security Threat Mitigation for Smart Contracts: A Comprehensive Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 55(14s), pp. 326:1-326:37, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jiliang Li, Ziyi Zhao, Zhou Su, Weizhi Meng 0001 |
Gas-expensive patterns detection to optimize smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 145, pp. 110542, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Amer Qasim, Ghaleb A. El Refae, Shorouq Eletter |
A proposed model to integrate drone technology in accounting for long term contracts: a cash flow management perspictive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab J. Inf. Technol. ![In: Int. Arab J. Inf. Technol. 20(3A), pp. 477-484, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Pengwen Hou, Ziyan Zhen, Bo Li 0085 |
Implications of the Product Quality Differentiation on the Platform's Distribution Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 70(11), pp. 3826-3835, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jun Zhao |
Sustainability on the Service Capacity in Elderly Healthcare Service Supply Chains: An Application of Flexible Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 70(6), pp. 2034-2044, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chao Liu 0047, Jingyu Lv, Ping Hou, Danrong Lu |
Disclosing products' freshness level as a non-contractible quality: Optimal logistics service contracts in the fresh products supply chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 307(3), pp. 1085-1102, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Shuxia Peng, Bo Li 0085, Shuang Wu |
Presence of piracy and legal protection: Decisions in the digital goods market under different contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 309(2), pp. 578-596, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhuo Feng, Jinbo Song, Xiaoxing Yang, Ran Guo |
Contractual flexibility, firm effort, and subsidy design: A comparison of PPP project contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 307(1), pp. 484-496, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Piyal Sarkar, M. I. M. Wahab, Liping Fang |
Weather rebate contracts for different risk attitudes of supply chain members. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 311(1), pp. 139-153, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Laurens Deprez, Katrien Antonio, Robert N. Boute |
Empirical risk assessment of maintenance costs under full-service contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 304(2), pp. 476-493, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | D. Palanikkumar, Adel Fahad Alrasheedi, P. Parthasarathi, Sameh S. Askar, Mohamed Abouhawwash |
Hybrid Smart Contracts for Securing IoMT Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 44(1), pp. 457-469, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sheng Hu |
Improved Private Data Protection Scheme for Blockchain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 2023, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zheyuan He, Shuwei Song, Yang Bai, Xiapu Luo, Ting Chen 0002, Wensheng Zhang, Peng He, Hongwei Li 0001, Xiaodong Lin 0001, Xiaosong Zhang 0001 |
TokenAware: Accurate and Efficient Bookkeeping Recognition for Token Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(1), pp. 26:1-26:35, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen 0002, Yingli Zheng, Xiao Dai, Yu Jiang 0001, Jiaguang Sun 0001 |
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(3), pp. 61:1-61:24, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Maha Ayub, Tania Saleem, Muhammad Umar Janjua, Talha Ahmad |
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 32(3), pp. 57:1-57:32, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Melissa H. Cantrell, Sarah Wipperman |
Open Access Author Contracts and Alignment with the Open Ethos: A Global Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Coll. Res. Libr. ![In: Coll. Res. Libr. 84(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Moshe Y. Vardi |
To Regulate Tech, Nullify Click-Through Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 66(9), pp. 5, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Swapnendu Banerjee, Somenath Chakraborty |
Optimal incentive contracts with a spiteful principal: Single agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 122, pp. 29-41, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Andrés Carvajal, João Thereze |
Insurance contracts and financial markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 121, pp. 8-19, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alessandra F. Lütz, Marco Antonio Amaral, Ian Braga, Lucas Wardil |
Invasion of Optimal Social Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games ![In: Games 14(3), pp. 42, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sung-Hoon Park, Chad E. Settle |
Asymmetric Reimbursement and Contingent Fees in Environmental Conflicts: Observable vs. Unobservable Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games ![In: Games 14(4), pp. 55, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Theodoros-Thirimachos Davarakis, Georgios Palaiokrassas, Antonios Litke, Theodora A. Varvarigou |
Reinforcement learning with smart contracts on blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 148, pp. 550-563, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Vasiliki Papadouli, Vagelis Papakonstantinou |
A preliminary study on artificial intelligence oracles and smart contracts: A legal approach to the interaction of two novel technological breakthroughs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Law Secur. Rev. ![In: Comput. Law Secur. Rev. 51, pp. 105869, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jingya Dong, Chunhe Song, Yong Sun, Tao Zhang |
DAON: A Decentralized Autonomous Oracle Network to Provide Secure Data for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 18, pp. 5920-5935, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nikolay Ivanov, Qiben Yan, Anurag Kompalli |
TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 18, pp. 1141-1155, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Lei Wang 0042, Hao Cheng, Zibin Zheng, Aijun Yang, Ming Xu |
Temporal transaction information-aware Ponzi scheme detection for ethereum smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 126, pp. 107022, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|