Tag: Formal

Microsoft To Create a Smart Contract Security Task Group

Smart Contracts is one of the popular concepts associated with Blockchain Technology and Cryptocurrencies, however, recent events like The DAO contract breach highlighted the importance of designing and writing secure code.  The ability to program money and to create self-enforcing contracts unlock the potential to create incredible applications that may shape the way we deal with our money. Smart Contracts are pieces of code that are intended to execute in …
[Read More]