Glenn A. Fink | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Penny McKenzie
1 publication
Weifeng Xu
1 publication

research

∙ 12/09/2019

Building Executable Secure Design Models for Smart Contracts with Formal Methods

Smart contracts are appealing because they are self-executing business a...

0 Weifeng Xu, et al. ∙

research

∙ 04/16/2019

Helping IT and OT Defenders Collaborate

Cyber-physical systems, especially in critical infrastructures, have bec...

0 Glenn A. Fink, et al. ∙