We'll be releasing audits and tools on our blog soon. First up: multi-contract symbolic execution on EVM at EkoPartyhttps://www.ekoparty.org
-
-
Show this thread
-
Second, I'm happy to announce I'll be advising
@swarmdotmarket and@trailofbits will be auditing their contracts.https://twitter.com/swarmdotmarket/status/905836801906139136 …Show this thread -
Swarm is one of the most interesting ICOs to me personally. It directly addresses issues in the security industry.https://twitter.com/swarmdotmarket/status/905835395954434048 …
Show this thread -
If you run a blockchain company, we're looking for opportunities to collaborate and contracts to audit. Contact me!
Show this thread
End of conversation
New conversation -
-
-
@dguido any blog posts coming out soon? -
We have a queue of 5-6 of them, all smart contract related. Symbolic execution, graphical disassembly, fuzzing, audit results and a lot more
End of conversation
New conversation -
-
-
Any release date on this? My dissertation project is on static code analysis of ethereum smart contracts; this would be a huge help!
-
Today! Manticore has support for EVM in master, new 0.1.5 release incoming. More tools to follow later this month.https://github.com/trailofbits/manticore/pull/521 …
-
Awesome I'll have a look! Thanks for the response!
End of conversation
New conversation -
-
-
Victor Trondheim
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.