Sofana Alfuhaid

Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications

2025

SYMBOLEO is a specification language used formalize legal contracts, analyze properties, and generate smart contracts for Hyperledger Fabric. However, this ecosystem presents challenges, particularly in securing access to contract elements and enabling interactions with Cyber-Physical …