11 citations · 12 across the 7 of their papers we have counts for
4 papers · 1 filter
Usage Control in Public Data Exchange Infrastructures for Future Digital Governance
Oleksandr Kosenkov, Fathiyeh Faghih, Eric Jackson +1
Public data exchange infrastructures, such as X-Road, are essential to data-intensive digital public services and the EU digital economy. Their next generation requires advanced da…
Effective Targeted Testing of Smart Contracts
Mahdi Fooladgar, Fathiyeh Faghih
Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have sinc…
Testing Smart Contracts Gets Smarter
Erfan Andesta, Fathiyeh Faghih, Mahdi Fooladgar
Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockc…
Automated Synthesis of Distributed Self-Stabilizing Protocols
Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil +1
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. U…