3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Nikolaj Bjørner, Shuo Chen, Yang Chen +3
Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…