|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(3), pp. 527, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1338, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1909, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 672, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 200, pp. 111653, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guillermo Alonso Alvarez, Sergey Nadtochiy, Kevin Webster |
Optimal Brokerage Contracts in Almgren-Chriss Model with Multiple Clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Financial Math. ![In: SIAM J. Financial Math. 14(3), pp. 855-878, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alvaro Reyes, Miguel Jimeno, Ricardo Villanueva-Polanco |
Continuous and Secure Integration Framework for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(1), pp. 541, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Ledger Technol. Res. Pract. ![In: Distributed Ledger Technol. Res. Pract. 2(2), pp. 1-28, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Sandholm, Sayandev Mukherjee |
Smart Contracts for Mobile Network Operator Bandwidth Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Ledger Technol. Res. Pract. ![In: Distributed Ledger Technol. Res. Pract. 2(4), pp. 1-8, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Peral Toktas-Palut |
The fuel cell electric vehicle market growth: Analyses of contracts and government incentives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 176, pp. 108988, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 181, pp. 109334, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Edgar Castillo-Barrera, Hector A. Duran-Limon |
Verifying contracts among software components: An ontology-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 163, pp. 107282, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 153, pp. 107065, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Songyan Ji, Jin Wu, Junfu Qiu, Jian Dong |
Effuzz: Efficient fuzzing by directed search for smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 159, pp. 107213, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mobile Multimedia ![In: J. Mobile Multimedia 19(4), pp. 935-962, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Steffen Ahrens, Lea Bitter, Ciril Bosch-Rosa |
Coordination under loss contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 137, pp. 270-293, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 16(8), pp. 360, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti |
Pacta sunt servanda: Legal contracts in Stipula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 225, pp. 102911, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Monika Di Angelo, Gernot Salzer |
Identification of token contracts on Ethereum: standard compliance and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Sci. Anal. ![In: Int. J. Data Sci. Anal. 16(3), pp. 333-352, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Cameron Moy, Matthias Felleisen |
Trace contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 33, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fausto Spoto, Sara Migliorini, Mauro Gambini, Andrea Benini |
On the use of generic types for smart contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 26(4), pp. 2099-2113, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 53(2), pp. 465-495, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 53(3), pp. 631-664, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(2), pp. 1335-1347, March - April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Guoxing Chen, Yinqian Zhang |
Securing TEEs With Verifiable Execution Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3222-3237, July - August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3176-3193, July - August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 2849-2866, July - August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3269-3286, July - August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(4), pp. 3002-3018, July - August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Warehous. Min. ![In: Int. J. Data Warehous. Min. 19(2), pp. 1-23, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPLEX NETWORKS (2) ![In: Complex Networks & Their Applications XII - Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2023, Menton, France, 28-30 November, 2023, Volume 2, pp. 373-382, 2023, Springer, 978-3-031-53498-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings, pp. 144-160, 2023, Springer, 978-3-031-24840-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp/ISWC Adjunct ![In: Adjunct Proceedings of the 2023 ACM International Joint Conference on Pervasive and Ubiquitous Computing & the 2023 ACM International Symposium on Wearable Computing, Cancun, Quintana Roo, Mexico, October 8-12, 2023, pp. 346-351, 2023, ACM. 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) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 2128-2142, 2023, ACM. 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) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 1197-1211, 2023, ACM. 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) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 2083-2097, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pp. 1212-1226, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 180-190, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Pauline Blohm, Julius Adelt, Paula Herber |
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 12-22, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 111-121, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP 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) |
FC Workshops ![In: Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers, pp. 439-455, 2023, Springer, 978-3-031-48805-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen |
Eagle: Efficient Privacy Preserving Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FC (1) ![In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I, pp. 270-288, 2023, Springer, 978-3-031-47753-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTAS ![In: IEEE International Symposium on Technology and Society, ISTAS 2023, Swansea, United Kingdom, September 13-15, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-2486-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Xiaoxue Yan, Meijuan Chen, Yangxin Zhang, Fan Pan |
Data Security Access Control Based on Blockchain and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCM ![In: Proceedings of the 2023 11th International Conference on Computer and Communications Management, ICCCM 2023, Nagoya, Japan, August 4-6, 2023, pp. 254-260, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Soroush Farokhnia, Amir Kafshdar Goharshady |
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-1019-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Abdulrezzak Zekiye, Öznur Özkasap |
The Internet of Energy Systems: Blockchain and Smart Contracts meet Federated Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-1019-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBC ![In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023, pp. 1-2, 2023, IEEE, 979-8-3503-1019-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the 12th International Symposium on Information and Communication Technology, SOICT 2023, Ho Chi Minh, Vietnam, December 7-8, 2023, pp. 739-745, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the 12th International Symposium on Information and Communication Technology, SOICT 2023, Ho Chi Minh, Vietnam, December 7-8, 2023, pp. 296-303, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 26th Conference on Innovation in Clouds, Internet and Networks, ICIN 2023, Paris, France, March 6-9, 2023, pp. 195-202, 2023, IEEE, 979-8-3503-9804-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTPI ![In: IEEE 3rd International Conference on Digital Twins and Parallel Intelligence, DTPI 2023, Orlando, FL, USA, November 7-9, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-1847-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: Management of Digital EcoSystems - 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers, pp. 331-344, 2023, Springer, 978-3-031-51642-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Alvi Ataur Khalil, Mohammad Ashiqur Rahman |
SHIP: Securing Hashed Timelock Contracts in Payment Channel Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNS ![In: IEEE Conference on Communications and Network Security, CNS 2023, Orlando, FL, USA, October 2-5, 2023, pp. 1-2, 2023, IEEE, 979-8-3503-3945-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLA ![In: International Conference on Machine Learning and Applications, ICMLA 2023, Jacksonville, FL, USA, December 15-17, 2023, pp. 2071-2078, 2023, IEEE, 979-8-3503-4534-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 29th Americas Conference on Information Systems, AMCIS 2023, Panama City, Panama, August 10-12, 2023, 2023, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, The Netherlands, 18-20 December 2023, pp. 177-186, 2023, IOS Press, 978-1-64368-472-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2023: The Thirty-sixth Annual Conference, Maastricht, The Netherlands, 18-20 December 2023, pp. 119-124, 2023, IOS Press, 978-1-64368-472-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTIP2R (1) ![In: Recent Trends in Image Processing and Pattern Recognition - 6th International Conference, RTIP2R 2023, Derby, UK, December 7-8, 2023, Revised Selected Papers, Part I, pp. 101-109, 2023, Springer, 978-3-031-53081-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 222-230, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 258-261, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 231-240, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSPN ![In: Mobile, Secure, and Programmable Networking - 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers, pp. 100-119, 2023, Springer, 978-3-031-52425-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Sangharatna Godboley, P. Radha Krishna 0001 |
SmartMuVerf: A Mutant Verifier for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023., pp. 346-353, 2023, SCITEPRESS, 978-989-758-647-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 15th International Conference on COMmunication Systems & NETworkS, COMSNETS 2023, Bangalore, India, January 3-8, 2023, pp. 183-185, 2023, IEEE, 978-1-6654-7706-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion Proceedings of the ACM Web Conference 2023, WWW 2023, Austin, TX, USA, 30 April 2023 - 4 May 2023, pp. 1112-1118, 2023, ACM, 978-1-4503-9419-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Meng Wang, Weiliang Fei, Miao Wang, Jin Cui |
Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023, pp. 91-100, 2023, IEEE, 979-8-3503-4417-2. 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) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 245-260, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Iqra Mustafa, Bart Cant, Alan McGibney, Susan Rea |
Decentralized Oracle Networks (DONs) Provision for DAML Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BLOCKCHAIN ![In: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., pp. 365-382, 2023, Springer, 978-3-031-45154-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BLOCKCHAIN ![In: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., pp. 244-253, 2023, Springer, 978-3-031-45154-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jonas Schiffl, Alexander Weigl |
Are Formal Contracts a Useful Digital Twin of Software Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMDT@FM ![In: Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pp. 169-179, 2023, IEEE, 979-8-3503-2689-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REW ![In: 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, pp. 72-75, 2023, IEEE, 979-8-3503-2691-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Chirag Jain, Preethu Rose Anish, Smita Ghaisas |
Automated Identification of Security and Privacy Requirements from Software Engineering Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REW ![In: 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, pp. 234-238, 2023, IEEE, 979-8-3503-2691-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC Workshops ![In: IEEE International Conference on Communications, ICC 2023 - Workshops, Rome, Italy, May 28 - June 1, 2023, pp. 452-457, 2023, IEEE, 979-8-3503-3307-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 300-309, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023, pp. 150-161, 2023, IEEE, 979-8-3503-1958-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wenqian Zhao, Meghana Patibandla, Junhua Ding |
An Approach for Ensuring the Privacy in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 320-329, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: International Wireless Communications and Mobile Computing, IWCMC 2023, Marrakesh, Morocco, June 19-23, 2023, pp. 333-338, 2023, IEEE, 979-8-3503-3339-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | María Alpuente, Alicia Villanueva |
Automated Synthesis of Software Contracts with KindSpec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems ![In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, pp. 51-71, 2023, Springer, 978-3-031-31475-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 6th International Conference on Contemporary Computing and Informatics, IC3I 2023, Gautam Buddha Nagar, India, September 14-16, 2023, pp. 1271-1277, 2023, IEEE, 979-8-3503-0448-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ayush Kumar Pal, Avush Kumar Raikwar, Manpreet Singh |
Securing Smart Contracts against Re-entrancy Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 6th International Conference on Contemporary Computing and Informatics, IC3I 2023, Gautam Buddha Nagar, India, September 14-16, 2023, pp. 67-70, 2023, IEEE, 979-8-3503-0448-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 6th International Conference on Contemporary Computing and Informatics, IC3I 2023, Gautam Buddha Nagar, India, September 14-16, 2023, pp. 1139-1142, 2023, IEEE, 979-8-3503-0448-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, ICAIL 2023, Braga, Portugal, June 19-23, 2023, pp. 267-276, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 108-119, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Ibba, Matteo Vaccargiu |
Analysis of Users' Most Discussed Topics and Trends on Blockchain Technologies and Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023, pp. 865-873, 2023, IEEE, 978-1-6654-5278-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anna Hupe, Ulrich Bretschneider |
Smarter Crowdwork by Applying Smart Contracts? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 31st European Conference on Information Systems - Co-creating Sustainable Digital Futures, ECIS 2023, Kristiansan, Norway, June 11-16, 2023, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOUD ![In: Cloud Computing - CLOUD 2023 - 16th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings, pp. 50-65, 2023, Springer, 978-3-031-51708-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023, pp. 141-152, 2023, IEEE, 978-1-6654-5666-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiWIS ![In: Mobile Web and Intelligent Information Systems - 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings, pp. 68-82, 2023, Springer, 978-3-031-39763-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Fahad F. Alhabardi, Anton Setzer |
A model of Solidity-style smart contracts in the theorem prover Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIBThings ![In: IEEE International Conference on Artificial Intelligence, Blockchain, and Internet of Things, AIBThings 2023, Mount Pleasant, MI, USA, September 16-17, 2023, pp. 1-10, 2023, IEEE, 979-8-3503-2234-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohamed Amin Hammami, Mariam Lahami |
Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings, pp. 44-57, 2023, Springer, 978-3-031-49332-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ital-IA ![In: Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence (Ital IA 2023), Pisa, Italy, May 29-30, 2023., pp. 255-260, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Caichang Tu, Wansen Wang, Kaiwen Shi, Yan Xiong, Wenchao Huang |
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIGCOM ![In: 9th International Conference on Big Data Computing and Communications, BigCom 2023, Hainan, China, August 4-6, 2023, pp. 103-109, 2023, IEEE, 979-8-3503-3124-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Renjie Ji, Wansen Wang, Yan Xiong, Wenchao Huang |
SolScope: Effectively Hunting Potential Permission Backdoor Threats in Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIGCOM ![In: 9th International Conference on Big Data Computing and Communications, BigCom 2023, Hainan, China, August 4-6, 2023, pp. 88-95, 2023, IEEE, 979-8-3503-3124-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1829-1846, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Zhiyuan Sun, Xiapu Luo, Yinqian Zhang |
Panda: Security Analysis of Algorand Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1811-1828, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1793-1810, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 3367-3383, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Tamer Abdelaziz, Aquinas Hobor |
Smart Learning to Find Dumb Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1775-1792, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDD@SIGSOFT FSE ![In: Proceedings of the 1st International Workshop on Software Defect Datasets, SDD 2023, San Francisco, CA, USA, 8 December 2023, pp. 6-10, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|