News for hackers. Stuff that matters.
Re:Our suite of Ethereum security tools by jbverschoor on Saturday March 24, 2018 @10:50AM (#16666840)
Re:Our suite of Ethereum security tools by monocasa on Saturday March 24, 2018 @11:01AM (#16666909)
As much as they use 'secure' in their README, I don't see any real evidence of that in their code.

When I'm looking for formally methods, a package.json is a bad sign.