Here we collect and discuss for Smart contract security & Blockchain researches and tools - contributions are welcome. - View it on GitHub