Automated generation of smart contract code from legal contract specifications with Symboleo2SC

A Rasti, AA Anda, S Alfuhaid, A Parvizimosaed… - Software and Systems …, 2024 - Springer
Smart contracts (SCs) are software systems that monitor and partially control the execution
of legal contracts to ensure compliance with the contracts' terms and conditions, which …

Security risk assessment of blockchain-based patient health record systems

NB Al Barghuthi, HE Said, SM Badi, S Girija - … , Mediterranean, and Middle …, 2022 - Springer
Blockchain technology is receiving greater attention for enhancing the security of patient
records systems; however, it is not a panacea, as many security risks have been found in …

Interpreted and Confidential Execution of Process Choreographies on a Blockchain

O Petto, T Preindl, M Kjäer - International Conference on Business …, 2024 - Springer
In our work, we refine the application of blockchain technology for managing inter-
organizational business processes without a centralized authority, addressing the issue of …

Smart Contracts: An Emerging Business Model in Decentralized Finance

L El Hassouni, A Ouchekkir - International Conference on Digital …, 2023 - Springer
Decentralized finance, also known as DeFi refers to an open and transparent alternative
financial infrastructure based on blockchain technology; it has recently gained a lot of …

Med card: An innovative way to keep your medical records handy and safe

A Goel, M Singh, J Gupta, N Mangla - International Conference on …, 2022 - Springer
The healthcare sector has advanced a lot from new machines to do effective surgeries and
rolling out medicines to even cure diseases which were considered incurable once. But the …

A systematic local fork management framework for blockchain sandbox environments

A Pogiatzis, G Samakovitis - International Conference on Business …, 2022 - Springer
Blockchain technology presently permeates multiple industries, resulting in an increasing
number of agents (primarily end-users and engineers) interacting with it in a variety of …

Traceable Health Data for Consciously Trained ML Models

JR García, J Favela, CE Sánchez-Torres - International Conference on …, 2023 - Springer
Abstract Advances in Machine Learning have highlighted the importance of gathering and
labeling data, particularly in settings such as healthcare. Issues of ownership, privacy, data …

Interpreted and Confidential Execution of Process Choreographies

O Petto, T Preindl, M Kjäer - … , Educators and Industry Forum: BPM 2024 … - books.google.com
In our work, we refine the application of blockchain technology for managing inter-
organizational business processes without a cen-tralized authority, addressing the issue of …