104 followers
RT @JoshuaEllul: Enjoyed giving a talk on initial work on runtime verification of #blockchain based #SmartContracts at the #VirtualMachine…
RT @JoshuaEllul: Enjoyed giving a talk on initial work on runtime verification of #blockchain based #SmartContracts at the #VirtualMachine…
Enjoyed giving a talk on initial work on runtime verification of #blockchain based #SmartContracts at the #VirtualMachine level The paper can be read here if interested: https://t.co/tEyOf9fEno https://t.co/l31YvD2oie @crowdfundinside https://t.co/BQnwo