Ok, as promised, it is time for the first release of the year: greed, our symbolic execution engine for EVM smart contract binaries (brought to you by @_ruaronicola and myself) 🔥
Delayed announcement, but I'm very happy to announce that our paper "Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts" has been accepted at @NDSSSymposium! All credits to @_ruaronicola and his amazing work! 🚀
🎉Excited to announce that I will be starting as an Assistant Professor of Computer Science at Rutgers University in Fall 2024! In the meantime, I will spend the next year at Johns Hopkins @jhuclsp as a postdoc with @mdredze!
I am looking for PhDs to join the security research group @UTwente and work in systems security, with a particular focus on threat detection and IoT & mobile security.
If interested, get in touch!