Sécurité des smart contracts : focus sur la vérification formelle

Notre Pôle Tech lance aujourd’hui une série de publications dédiées à la sécurité dans le monde blockchain & crypto. Le premier article porte sur la vérification formelle des smart contracts : un enjeu clef pour la réduction des failles techniques.

Source : http://blockchainpartner.fr/securite-blockchain-smart-contracts/

Date : June 24, 2019 at 09:07AM

Tag(s) : #BLOCKCHAIN, cryptomonnaie, sécurité, smart contract