16 citations · 32 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019★ 16 cited
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang, Yi Li, Shang-Wei Lin +3
Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. I…
cs.SE2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…