Publications

Journals

Practical Mitigation of Smart Contract Bugs

2022 - Computer Sciences (March 2022)
In spite of their popularity, developing secure smart contracts remains a challenging task. Existing solutions are either impractical as they do not support many complex real-world contracts or leave the burden to developers for fixing bugs.