RT @aalaszka: Proceedings of our tool demonstration paper "FSolidM for Designing Secure Ethereum Smart Contracts" is now available online:…
364 followers
146 followers
Proceedings of our tool demonstration paper "FSolidM for Designing Secure Ethereum Smart Contracts" is now available online: https://t.co/SsrsU93F5r #FSolidM #ethereum #SmartContract #blockchain #Security #POST2018 @anmavrid https://t.co/oiGXqX98Xz
146 followers
RT @anmavrid: "Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts" paper available now: https://t.co/XBmvHbkKUO
364 followers
"Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts" paper available now: https://t.co/XBmvHbkKUO