299 followers
RT @matteo_maffei: Clara Schneidewind from the Security and Privacy group @tuvienna on stage at Purdue University on security analysis of E…
RT @matteo_maffei: Clara Schneidewind from the Security and Privacy group @tuvienna on stage at Purdue University on security analysis of E…
RT @matteo_maffei: We formalized various security properties for smart contracts as hyperproperties and an executable semantics of EVM byte…
RT @matteo_maffei: The Security and Privacy group @tuvienna @vclaTUwien receives the best paper award at #ETAPS for the work on “A semantic…
RT @CryptAssets: A Semantic Framework for the Security Analysis of Ethereum smart contracts https://t.co/wR7pPP8giu