|
|
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 | Piotr Nowak, Michal Pawlowski |
Application of the Esscher Transform to Pricing Forward Contracts on Energy Markets in a Fuzzy Environment. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kushal Babel, Mojan Javaheripi, Yan Ji 0001, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels |
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
10 | Yunqi Li 0002, Kyle Soska, Zhen Huang, Sylvain Bellemare, Mikerah Quintyne-Collins, Lun Wang, Xiaoyuan Liu, Dawn Song, Andrew Miller 0001 |
Ratel: MPC-extensions for Smart Contracts. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP 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, Yan Cheng, Xiaosong Zhang 0001 |
SigRec: Automatic Recovery of Function Signatures in Smart Contracts. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
10 | Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato |
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. |
J. Syst. Softw. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guillermo Alonso Alvarez, Sergey Nadtochiy, Kevin Webster |
Optimal Brokerage Contracts in Almgren-Chriss Model with Multiple Clients. |
SIAM J. Financial Math. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alvaro Reyes, Miguel Jimeno, Ricardo Villanueva-Polanco |
Continuous and Secure Integration Framework for Smart Contracts. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mirko Zichichi, Luca Serena, Stefano Ferretti, Gabriele D'Angelo |
InDaMul: Incentivized Data Mules for Opportunistic Networking Through Smart Contracts and Decentralized Systems. |
Distributed Ledger Technol. Res. Pract. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Sandholm, Sayandev Mukherjee |
Smart Contracts for Mobile Network Operator Bandwidth Sharing. |
Distributed Ledger Technol. Res. Pract. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Peral Toktas-Palut |
The fuel cell electric vehicle market growth: Analyses of contracts and government incentives. |
Comput. Ind. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tian Luo, Daofang Chang, Zhenyu Xu, Xiaoyuan Hu |
Empty container leasing and channel coordination in a Dual-Channel container transportation service chain based on joint contracts. |
Comput. Ind. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Edgar Castillo-Barrera, Hector A. Duran-Limon |
Verifying contracts among software components: An ontology-based approach. |
Inf. Softw. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chaochen Shi, Yong Xiang 0001, Jiangshan Yu, Keshav Sood, Longxiang Gao |
Machine translation-based fine-grained comments generation for solidity smart contracts. |
Inf. Softw. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Songyan Ji, Jin Wu, Junfu Qiu, Jian Dong |
Effuzz: Efficient fuzzing by directed search for smart contracts. |
Inf. Softw. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sonika Bhatnagar, Mohit Dayal, Deepti Singh, Shitiz Upreti, Kamal Upreti, Jitender Kumar |
Block-Hash Signature (BHS) for Transaction Validation in Smart Contracts for Security and Privacy using Blockchain. |
J. Mobile Multimedia |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Steffen Ahrens, Lea Bitter, Ciril Bosch-Rosa |
Coordination under loss contracts. |
Games Econ. Behav. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Szymon Cyperski, Pawel D. Domanski, Michal Okulewicz |
Hybrid Approach to the Cost Estimation of External-Fleet Full Truckload Contracts. |
Algorithms |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti |
Pacta sunt servanda: Legal contracts in Stipula. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Monika Di Angelo, Gernot Salzer |
Identification of token contracts on Ethereum: standard compliance and beyond. |
Int. J. Data Sci. Anal. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Cameron Moy, Matthias Felleisen |
Trace contracts. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fausto Spoto, Sara Migliorini, Mauro Gambini, Andrea Benini |
On the use of generic types for smart contracts. |
Clust. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Valentina Piantadosi, Giovanni Rosa, Davide Placella, Simone Scalabrino, Rocco Oliveto |
Detecting functional and security-related issues in smart contracts: A systematic literature review. |
Softw. Pract. Exp. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Rui Xi, Karthik Pattabiraman |
A large-scale empirical study of low-level function use in Ethereum smart contracts and automated replacement. |
Softw. Pract. Exp. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhiguo Wan, Yan Zhou, Kui Ren 0001 |
zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge Proof. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guoxing Chen, Yinqian Zhang |
Securing TEEs With Verifiable Execution Contracts. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Victor Youdom Kemmoe, Yongseok Kwon, Rasheed Hussain, Sunghyun Cho, Junggab Son |
Leveraging Smart Contracts for Secure and Asynchronous Group Key Exchange Without Trusted Third Party. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Meng Li 0006, Yifei Chen, Chhagan Lal, Mauro Conti, Fabio Martinelli, Mamoun Alazab |
Nereus: Anonymous and Secure Ride-Hailing Service Based on Private Smart Contracts. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Servio Palacios, Aaron Ault, James V. Krogmeier, Bharat K. Bhargava, Christopher G. Brinton |
AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling Certification Framework With Oblivious Smart Contracts. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Meng Li 0006, Yifei Chen, Liehuang Zhu, Zijian Zhang 0001, Jianbing Ni, Chhagan Lal, Mauro Conti |
Astraea: Anonymous and Secure Auditing Based on Private Smart Contracts for Donation Systems. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Zhigang Xu 0002, Xingxing Chen, Xinhua Dong, Hongmu Han, Zhongzhen Yan, Kangze Ye, Chaojun Li, Zhiqiang Zheng, Haitao Wang, Jiaxi Zhang 0006 |
An Efficient Code-Embedding-Based Vulnerability Detection Model for Ethereum Smart Contracts. |
Int. J. Data Warehous. Min. |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Satya Bhushan Verma, Abhay Kumar Yadav, Bineet Kumar Gupta, Sanjay Gupta |
SMART CONTRACTS Based Peer to Peer Communication in Blockchain: A Decentralized Approach. |
COMPLEX NETWORKS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
Formalizing and Reasoning About Supply Chain Contracts Between Agents. |
PADL |
2023 |
DBLP DOI BibTeX RDF |
|
10 | José Ricardo Cedeño-García, Jesús Favela, Carlos Eduardo Sánchez-Torres |
Smart Contracts for Ethical Mobile Data Collection and Usage. |
UbiComp/ISWC Adjunct |
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. |
CCS |
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. |
CCS |
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. |
CCS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kushal Babel, Mojan Javaheripi, Yan Ji 0001, Mahimna Kelkar, Farinaz Koushanfar, Ari Juels |
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. |
CCS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
10 | Pauline Blohm, Julius Adelt, Paula Herber |
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
10 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
10 | Monika Di Angelo, Gernot Salzer |
Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts. |
FC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen |
Eagle: Efficient Privacy Preserving Smart Contracts. |
FC (1) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Evgeny Exter, Milan Radosavljevic |
Applying Action Design Science Research to Develop a Conceptual Design for Smart Contracts in Real Estate Transaction Processes: The Potential of Blockchain Technology for Transaction Symmetry, Speed and Transparency. |
ISTAS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xiaoxue Yan, Meijuan Chen, Yangxin Zhang, Fan Pan |
Data Security Access Control Based on Blockchain and Smart Contracts. |
ICCCM |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Soroush Farokhnia, Amir Kafshdar Goharshady |
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain. |
ICBC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Abdulrezzak Zekiye, Öznur Özkasap |
The Internet of Energy Systems: Blockchain and Smart Contracts meet Federated Learning. |
ICBC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xinxin Fan, Zhi Zhong, Dong Guo, Qi Chai, Simone Romano 0005 |
Connecting Smart Devices to Smart Contracts with W3bstream. |
ICBC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Bang Lê Hong, Thang Lê Duc, Trung Doàn Minh, Dung Tran Tuan, Duy Phan The, Hau Pham Van |
Contextual Language Model and Transfer Learning for Reentrancy Vulnerability Detection in Smart Contracts. |
SoICT |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Minh Vu Nguyen, Ngoc-Thuy Le, Dung Hoang Duong, Yannan Li, Madhav Mukherjee |
Blockchain Oracles: Implications for Smart Contracts in Legal Reasoning and Addressing the Oracle Problem. |
SoICT |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kiran Makhijani, Tooba Faisal |
Accountable and Distributed Industrial Control Systems with Autonomous Contracts : OCN-DLT: Industry Operations and Control Networks with Distributed Ledger Technology. |
ICIN |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ziye Li, Haolin Zhu, Dingzhi Zhong, Cheng Li, Bowen Wang, Yong Yuan |
A Novel Framework for Distributed and Collaborative Federated Learning based on Blockchain and Smart Contracts. |
DTPI |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sami Bettayeb, Mohamed-Lamine Messai, Sofiane Mounine Hemam |
BKRSC-IoT: Blockchain-Based Key Revocation Using Smart Contracts for IoT Networks. |
MEDES |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alvi Ataur Khalil, Mohammad Ashiqur Rahman |
SHIP: Securing Hashed Timelock Contracts in Payment Channel Networks. |
CNS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Talita Lôbo de Menezes, Nazareno Ferreira de Andrade, Fábio Jorge Almeida Morais |
The Effectiveness of Machine Learning to Estimate the Risk of Failure in Brazilian Public Contracts. |
ICMLA |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Katia Guerra, Xiaoyan Liu |
Smart Contracts' Adoption in the Healthcare Sector: a Privacy Calculus Perspective in China and U.S.A. |
AMCIS |
2023 |
DBLP BibTeX RDF |
|
10 | May Myo Zin, Ha-Thanh Nguyen, Ken Satoh, Saku Sugawara, Fumihito Nishino |
Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5. |
JURIX |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong |
Deontics and Time in Contracts: An Executable Semantics for the L4 DSL. |
JURIX |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jagendra Singh, Dinesh Prasad Sahu, Shreyans Murkute, Ujjwal Yadav, Manish Agarwal, Pranay Kumar |
Deep Learning Based Bug Detection in Solidity Smart Contracts. |
RTIP2R (1) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kristof Jannes, Vincent Reniers, Wouter Lenaerts, Bert Lagaisse, Wouter Joosen |
DEDACS: Decentralized and dynamic access control for smart contracts in a policy-based manner. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Soroush Farokhnia, Amir Kafshdar Goharshady |
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Michael Sober, Max Kobelt, Giulia Scaffino, Dominik Kaaser, Stefan Schulte 0002 |
Distributed Key Generation with Smart Contracts using zk-SNARKs. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Quy T. Lu, Nguyen D. P. Trong, Khanh Vo Hong, H. L. Huong, T. D. Khoa, H. G. Khiem, N. T. Phuc, Hieu M. Doan, Loc Van Cao Phu, Kha Nguyen Hoang, The Anh Nguyen, Q. N. Hien, L. K. Bang, Bao Tran Quoc, N. T. K. Ngan, M. N. Triet |
Blockchain-Driven Animal Healthcare: Leveraging NFTs, IPFS, and Smart Contracts for Comprehensive Animal Medical Record. |
MSPN |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sangharatna Godboley, P. Radha Krishna 0001 |
SmartMuVerf: A Mutant Verifier for Smart Contracts. |
ENASE |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Garvit Chugh, Suchetana Chakraborty |
Demonstration of LegalHelper: A Low-cost tool for Smart Translation and Creation of Legal Contracts. |
COMSNETS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Eason Chen, Niall Roche, Yuen-Hsien Tseng, Walter Hernández, Jiangbo Shangguan, Alastair Moore |
Conversion of Legal Agreements into Smart Legal Contracts using NLP. |
WWW (Companion Volume) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Meng Wang, Weiliang Fei, Miao Wang, Jin Cui |
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. |
APSEC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Holler, Sebastian Biewer, Clara Schneidewind |
HoRStify: Sound Security Analysis of Smart Contracts. |
CSF |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Iqra Mustafa, Bart Cant, Alan McGibney, Susan Rea |
Decentralized Oracle Networks (DONs) Provision for DAML Smart Contracts. |
BLOCKCHAIN |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Adnan Imeri, Thierry Grandjean, Oussema Gharsallaoui, Ismail Dinc, Djamel Khadraoui |
Smart Contract Analyzer. A Tool for Detecting Fraudulent Token Contracts. |
BLOCKCHAIN |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Schiffl, Alexander Weigl |
Are Formal Contracts a Useful Digital Twin of Software Systems? |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
10 | Chirag Jain, Preethu Rose Anish, Amrita Singh, Smita Ghaisas |
A Transformer-based Approach for Abstractive Summarization of Requirements from Obligations in Software Engineering Contracts. |
RE |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Gokul Rejithkumar, Preethu Rose Anish, Smita Ghaisas |
Automated Identification of Deontic Modalities in Software Engineering Contracts: A Domain Adaptation-Based Generative Approach. |
REW |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chirag Jain, Preethu Rose Anish, Smita Ghaisas |
Automated Identification of Security and Privacy Requirements from Software Engineering Contracts. |
REW |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Kadiyala Ramana, R. Madana Mohana, C. Kishor Kumar Reddy, Gautam Srivastava 0001, Thippa Reddy Gadekallu |
A Blockchain-Based Data-Sharing Framework for Cloud Based Internet of Things Systems with Efficient Smart Contracts. |
ICC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sourena Khanzadeh, Noama Fatima Samreen, Manar H. Alalfi |
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques. |
QRS Companion |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Meng Wang, Ziheng Wang, Bin Yu 0008, Kai Zhang |
WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. |
QRS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wenqian Zhao, Meghana Patibandla, Junhua Ding |
An Approach for Ensuring the Privacy in Smart Contracts. |
QRS Companion |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Boutaina Jebari, Mounir Ghogho, Khalil Ibrahimi |
Secure and Privacy-Preserving E-mobility Service Based on Blockchain and Hybrid Smart Contracts. |
IWCMC |
2023 |
DBLP DOI BibTeX RDF |
|
10 | María Alpuente, Alicia Villanueva |
Automated Synthesis of Software Contracts with KindSpec. |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Gulomov Akmaljan Shukurillayevich, Kuldashev Muhammad Mahmudovich, Muqimova Muslima Ziyodullayevna, Christo Ananth, T. Ananth Kumar |
Implementation Of Secure Storage For Maintaining Characteristic Contracts In Civil Law. |
IC3I |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ayush Kumar Pal, Avush Kumar Raikwar, Manpreet Singh |
Securing Smart Contracts against Re-entrancy Attacks. |
IC3I |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anu Sayal, Chetlur Vasundhara, Veethika Gupta, Ashulekha Gupta, Himani Maheshawri, Minakshi Memoria |
Smart Contracts and Blockchain : An Analytical Approach. |
IC3I |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sergio Servantez, Nedim Lipka, Alexa F. Siu, Milan Aggarwal, Balaji Krishnamurthy, Aparna Garimella, Kristian J. Hammond, Rajiv Jain |
Computable Contracts by Extracting Obligation Logic Graphs. |
ICAIL |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chao Ni 0001, Cong Tian, Kaiwen Yang, David Lo 0001, Jiachi Chen, Xiaohu Yang 0001 |
Automatic Identification of Crash-inducing Smart Contracts. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Ibba, Matteo Vaccargiu |
Analysis of Users' Most Discussed Topics and Trends on Blockchain Technologies and Smart Contracts. |
SANER |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anna Hupe, Ulrich Bretschneider |
Smarter Crowdwork by Applying Smart Contracts? |
ECIS |
2023 |
DBLP BibTeX RDF |
|
10 | Duy D. X. Pham, Khoa Tran Dang, Hieu M. Doan, Nam B. Tran, Bang Le Khanh, Nguyen D. P. Trong, Ngan N. T. Kim |
Blockchain-Driven Dog Care System: Leveraging NFTs, IPFS, and Smart Contracts for Advanced Dog Medical Record Management. |
CLOUD |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei 0001, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos |
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. |
ICST |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Hieu T. Nguyen, Ngan N. T. Kim, N. M. Triet, Khanh H. Vo, Quy T. Lu, Phuc Nguyen Trong, Khoa Tran Dang, Khiem Huynh Gia, Nguyen D. P. Trong, Loc Van Cao Phu, The Anh Nguyen, Huynh T. Nghia, Bang Le Khanh, Huong Hoang Luong |
Medical Test Results Management System Based on Blockchain, Smart Contracts, and NFT Technologies. |
MobiWIS |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fahad F. Alhabardi, Anton Setzer |
A model of Solidity-style smart contracts in the theorem prover Agda. |
AIBThings |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohamed Amin Hammami, Mariam Lahami |
Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. |
MEDI |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Roberto Nai, Ishrat Fatima, Gabriele Morina, Emilio Sulis, Laura Genga, Rosa Meo, Paolo Pasteris |
AI Applied to the Analysis of the Contracts of the Italian Public Administrations. |
Ital-IA |
2023 |
DBLP BibTeX RDF |
|
10 | Caichang Tu, Wansen Wang, Kaiwen Shi, Yan Xiong, Wenchao Huang |
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts. |
BIGCOM |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Renjie Ji, Wansen Wang, Yan Xiong, Wenchao Huang |
SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts. |
BIGCOM |
2023 |
DBLP DOI BibTeX RDF |
|
10 | William Edward Bodell III, Sajad Meisami, Yue Duan |
Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
10 | Zhiyuan Sun, Xiapu Luo, Yinqian Zhang |
Panda: Security Analysis of Algorand Smart Contracts. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
10 | Fabio Gritti, Nicola Ruaro, Robert McLaughlin, Priyanka Bose, Dipanjan Das 0002, Ilya Grishchenko, Christopher Kruegel, Giovanni Vigna |
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
10 | Wansen Wang, Wenchao Huang, Zhaoyi Meng, Yan Xiong, Fuyou Miao, Xianjin Fang, Caichang Tu, Renjie Ji |
Automated Inference on Financial Security of Ethereum Smart Contracts. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
10 | Tamer Abdelaziz, Aquinas Hobor |
Smart Learning to Find Dumb Contracts. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
10 | Michael Hettmer, Benedikt Severin, Florian Blum, Volker Gruhn |
Towards Assessing the Real-World Impact of Defects in Blockchain-Based Smart Contracts. |
SDD@SIGSOFT FSE |
2023 |
DBLP DOI BibTeX RDF |
|
|
|