Solidity2CPN is built on a growing body of work in formal verification, smart contracts, and blockchain-based business processes. Read the papers or download the local PDFs below.
- Garfatta, I., Klai Kaı̈s, & Gaaloul, W. (2024). Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. In B. B. Hedia, M. Ghazel, & B. Monsuez (Eds.), 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 (Vol. 15466, pp. 32–46). Springer. https://doi.org/10.1007/978-3-031-85356-2_3Bibtex:
@inproceedings{VECOS_2024, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gaaloul, Walid}, editor = {Hedia, Belgacem Ben and Ghazel, Mohamed and Monsuez, Bruno}, title = {Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach}, booktitle = {17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, Djerba, Tunisia, October 16-18, 2024 }, series = {Lecture Notes in Computer Science}, volume = {15466}, pages = {32--46}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-85356-2\_3}, doi = {10.1007/978-3-031-85356-2\_3} } - Garfatta, I., Klai Kaı̈s, & Gaaloul, W. (2024). Integrating Business Process Context into Solidity-to-CPN Formal Verification. 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2024, Reggio Emilia, Italy, June 26-28, 2024, 68–73. https://doi.org/10.1109/WETICE64632.2024.00021Bibtex:
@inproceedings{WETICE_2024, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gaaloul, Walid}, title = {Integrating Business Process Context into Solidity-to-CPN Formal Verification}, booktitle = {32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} 2024, Reggio Emilia, Italy, June 26-28, 2024}, pages = {68--73}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/WETICE64632.2024.00021}, doi = {10.1109/WETICE64632.2024.00021} } - Garfatta, I. (2022). Towards correct Blockchain-based business processes. (Vers des processus métier corrects basés sur la Blockchain) [PhD thesis, Paris 13 University, Villetaneuse, France]. https://tel.archives-ouvertes.fr/tel-04071432Bibtex:
@phdthesis{garfatta_thesis, author = {Garfatta, Ikram}, title = {Towards correct Blockchain-based business processes. (Vers des processus m{\'{e}}tier corrects bas{\'{e}}s sur la Blockchain)}, school = {Paris 13 University, Villetaneuse, France}, year = {2022}, url = {https://tel.archives-ouvertes.fr/tel-04071432} } - Garfatta, I., Klai Kaı̈s, Graı̈et Mohamed, & Gaaloul, W. (2022). Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. In J. Hong, M. Bures, J. W. Park, & T. Cerný (Eds.), SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022 (pp. 316–325). ACM. https://doi.org/10.1145/3477314.3507309Bibtex:
@inproceedings{SAC_2022, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gra{\"{\i}}et, Mohamed and Gaaloul, Walid}, editor = {Hong, Jiman and Bures, Miroslav and Park, Juw Won and Cern{\'{y}}, Tom{\'{a}}s}, title = {Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach}, booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, pages = {316--325}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3477314.3507309}, doi = {10.1145/3477314.3507309} } - Garfatta, I., Klai, K., Gaaloul, W., & Graiet, M. (2021). A Survey on Formal Verification for Solidity Smart Contracts. In N. Stanger, B. J. Woodford, M. Winikoff, D. M. Eyers, V. L. Joachim, D. A. da Costa, & A. Trotman (Eds.), ACSW ’21: 2021 Australasian Computer Science Week Multiconference, Dunedin, New Zealand, 1-5 February, 2021 (pp. 3:1–3:10). ACM. https://doi.org/10.1145/3437378.3437879Bibtex:
@inproceedings{ACSW_2021, author = {Garfatta, Ikram and Klai, Kais and Gaaloul, Walid and Graiet, Mohamed}, editor = {Stanger, Nigel and Woodford, Brendon J. and Winikoff, Michael and Eyers, David M. and Joachim, Veronica Liesaputra and da Costa, Daniel Alencar and Trotman, Andrew}, title = {A Survey on Formal Verification for Solidity Smart Contracts}, booktitle = {{ACSW} '21: 2021 Australasian Computer Science Week Multiconference, Dunedin, New Zealand, 1-5 February, 2021}, pages = {3:1--3:10}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3437378.3437879}, doi = {10.1145/3437378.3437879} } - Garfatta, I., Klai Kaı̈s, Graı̈et Mohamed, & Gaaloul, W. (2021). Model Checking of Solidity Smart Contracts Adopted for Business Processes. In H. Hacid, O. Kao, M. Mecella, N. Moha, & H.-young Paik (Eds.), 19th International Conference on Service-Oriented Computing, ICSOC 2021, Virtual Event, November 22-25, 2021 (Vol. 13121, pp. 116–132). Springer. https://doi.org/10.1007/978-3-030-91431-8_8Bibtex:
@inproceedings{ICSOC_2021, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gra{\"{\i}}et, Mohamed and Gaaloul, Walid}, editor = {Hacid, Hakim and Kao, Odej and Mecella, Massimo and Moha, Naouel and Paik, Hye{-}young}, title = {Model Checking of Solidity Smart Contracts Adopted for Business Processes}, booktitle = {19th International Conference on Service-Oriented Computing, {ICSOC} 2021, Virtual Event, November 22-25, 2021}, series = {Lecture Notes in Computer Science}, volume = {13121}, pages = {116--132}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91431-8\_8}, doi = {10.1007/978-3-030-91431-8\_8} } - Garfatta, I., Klai Kaı̈s, Graı̈et Mohamed, & Gaaloul, W. (2021). A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021, Bayonne, France, October 27-29, 2021, 69–74. https://doi.org/10.1109/WETICE53228.2021.00024Bibtex:
@inproceedings{WETICE_2021, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gra{\"{\i}}et, Mohamed and Gaaloul, Walid}, title = {A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts}, booktitle = {30th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} 2021, Bayonne, France, October 27-29, 2021}, pages = {69--74}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/WETICE53228.2021.00024}, doi = {10.1109/WETICE53228.2021.00024} } - Garfatta, I., Klai Kaı̈s, Graı̈et Mahamed, & Gaaloul, W. (2020). Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. In H. Hacid, F. Outay, H.-young Paik, A. Alloum, M. Petrocchi, M. R. Bouadjenek, A. Beheshti, X. Liu, & A. Maaradji (Eds.), Service-Oriented Computing - ICSOC 2020 Workshops - AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020 (Vol. 12632, pp. 47–53). Springer. https://doi.org/10.1007/978-3-030-76352-7_7Bibtex:
@inproceedings{ICSOC_2020, author = {Garfatta, Ikram and Klai, Ka{\"{\i}}s and Gra{\"{\i}}et, Mahamed and Gaaloul, Walid}, editor = {Hacid, Hakim and Outay, Fatma and Paik, Hye{-}young and Alloum, Amira and Petrocchi, Marinella and Bouadjenek, Mohamed Reda and Beheshti, Amin and Liu, Xumin and Maaradji, Abderrahmane}, title = {Blockchain-Based Business Processes: {A} Solidity-to-CPN Formal Verification Approach}, booktitle = {Service-Oriented Computing - {ICSOC} 2020 Workshops - AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020}, series = {Lecture Notes in Computer Science}, volume = {12632}, pages = {47--53}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-76352-7\_7}, doi = {10.1007/978-3-030-76352-7\_7} }