Bitcoin Forum

Economy => Services => Topic started by: msbenighted on September 28, 2017, 06:48:02 PM



Title: [SERVICE] Smart Contract Security Audit || SmartDec ||
Post by: msbenighted on September 28, 2017, 06:48:02 PM
Hi everyone!

At SmartDec we specialise in Smart Contracts security audits (https://smartcontracts.smartdec.net/). Our leads have more than 15 years of experience in security analysis and hold PhDs in these areas. We work in cooperation with a university group specialised in Smart Contracts and have developed SmartCheck -- our own static code analyser for Solidity language.

We can audit Smart Contracts in conjunction with frontend and backend. In addition, we analyse the logic of the application for backdoors and discrepancies to the declared behaviour.

We have involved in a number of Smart Contracts security audits, both private and public, and cooperated with several [Suspicious link removed]panies in the security field.

You can find additional information and examples of reports at our site: http://smartcontracts.smartdec.net/  

Contact me by email: alexander@smartdec.net
or Telegram: @msbenighted


Title: Re: [SERVICE] Smart Contract Security Audit || SmartDec ||
Post by: msbenighted on September 29, 2017, 04:19:52 PM
BTW, we highly recommend to check out this article on preparing your smart contract for audit!

https://media.consensys.net/preparing-for-a-smart-contract-code-audit-83691200cb9c


Title: Re: [SERVICE] Smart Contract Security Audit || SmartDec ||
Post by: msbenighted on October 09, 2017, 05:07:49 PM
We are proud to announce that our smart contract security tool named SmartCheck will be available for beta-testing this week!

If you want to test it on your smart contracts for free, subscribe at our page: https://smartcontracts.smartdec.net



Title: Re: [SERVICE] Smart Contract Security Audit || SmartDec ||
Post by: msbenighted on October 23, 2017, 10:09:01 AM
You can check out our latest security audit report for Gladius:

https://blog.smartdec.net/gladius-smart-contracts-security-audit-d2b636499e55


Title: Re: [SERVICE] Smart Contract Security Audit || SmartDec || SmartCheck
Post by: KateVoskr on February 06, 2018, 01:30:16 PM
Hi everyone! We are proud to present smart contract security tool called SmartCheck:
https://tool.smartdec.net (https://tool.smartdec.net)
 It automatically checks smart contracts for security vulnerabilities and bad practices. It runs analysis on Solidity source code.
SmartCheck is free and doesn’t need installation.
As a security team we recommend any solidity developer to use it during developing and auditing smart contracts. We are already using it in our work.