The aim of this blog post is to succinctly explain what Melon is and how it works in a reasonably non-technical manner for those of…
Many of you have been keen for updates over the last few weeks whilst we have been beavering away at latest…
After several months of implementing, testing and refactoring, today, we are happy to announce the first beta release of Oyente, a symbolic execution based analyser for Ethereum smart contracts. This release is made possible with support and funding from…
First things first: the 0.1.0 Melon Portal is now live, check it out!