Search results for "contracts"

Hits ?▲	Authors	Title	Venue	Year	Link
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