Layth Sliman
Research professor in security, IoT, blockchain, and formal verification
Summary
Work
Education
Projects
Writing
On Blockchain Integration with Supply Chain: Overview on Data Transparency
January 1, 2021Paper analyzing requirements and challenges of supply chain transparency and how blockchain projects customize transparency while balancing confidentiality and access control.
An Innovative Negotiations and Enactment Smart Contract-based Framework for on-line Sharing Economy Platforms
January 1, 2021Conference full paper describing a smart contract–based negotiation framework for sharing-economy platforms; implementation uses the Orcha high-level smart contract language to validate concepts.
Verification of smart contracts: A survey
January 1, 2020Survey covering formal verification approaches and vulnerability detection methods for smart contracts (theorem proving, model checking, runtime verification, symbolic execution, fuzzing, abstract interpretation) with focus on Ethereum smart contracts.
On Semantic Detection of Cloud API (Anti) Patterns
January 1, 2019Journal article on semantic detection of cloud API anti-patterns and related techniques in cloud computing.