RT @matteo_maffei: Clara Schneidewind from the Security and Privacy group @tuvienna on stage at Purdue University on security analysis of E…
299 followers
299 followers
RT @matteo_maffei: We formalized various security properties for smart contracts as hyperproperties and an executable semantics of EVM byte…
1,989 followers
RT @matteo_maffei: The Security and Privacy group @tuvienna @vclaTUwien receives the best paper award at #ETAPS for the work on “A semantic…
364 followers
RT @aalaszka: Proceedings of our tool demonstration paper "FSolidM for Designing Secure Ethereum Smart Contracts" is now available online:…