Security Assurance for Smart Contract (Fujitsu)

[carchrae]

Why This is Interesting

Fujitsu labs working to assess risks in Ethereum smart contracts. Looks similar to KEVM work, but not sure because it is sadly scant on details. Would like to learn more.

Link to Paper(s)

• No paper link yet, presented at http://www.ntms-conf.org/ntms2018/call-for-workshops/bsc2018
• Security Assurance for Smart Contract - Ence Zhou, Song Hua, Bingfeng Pi and Jun Sun (Fujitsu Research & Development Center, P.R. China); Yashihide Nomura, Kazuhiro Yamashita and Hidetoshi Kurihara(Fujitsu Laboratories Ltd., Japan)
• http://www.fujitsu.com/global/about/resources/news/press-releases/2018/0307-01.html

Additional Resources (optional)

• http://www.fujitsu.com/jp/group/labs/en/business/

[carchrae]

seems there has been a fair amount of work on blockchain done at fujitsu: http://www.fujitsu.com/global/about/resources/news/press-releases/2016/1019-01.html

[carchrae]

a pdf of the website press-release

Fujitsu Develops Technology to Verify Blockchain Risks - Fujitsu Global.pdf