3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2019★ 3 cited
Building Executable Secure Design Models for Smart Contracts with Formal Methods
Weifeng Xu, Glenn A. Fink
Smart contracts are appealing because they are self-executing business agreements between parties with the predefined and immutable obligations and rights. However, as with all sof…
cs.CR2019
Helping IT and OT Defenders Collaborate
Glenn A. Fink, Penny McKenzie
Cyber-physical systems, especially in critical infrastructures, have become primary hacking targets in international conflicts and diplomacy. However, cyber-physical systems presen…