research
∙
05/14/2023
CLawK: Monitoring Business Processes in Smart Contracts
Smart contracts embody complex business processes that can be difficult ...
share
research
∙
05/08/2023
Capturing Smart Contract Design with DCR Graphs
Smart contracts manage blockchain assets. While smart contracts embody b...
research
∙
05/23/2022
CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy
In a circular economy, tracking the flow of second-life components for q...
research
∙
02/15/2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
In this work we propose Dynamit, a monitoring framework to detect reentr...
research
∙
09/14/2019
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Despite the high stakes involved in smart contracts, they are often deve...
research
∙
02/11/2019