Hackernoon logo
Hackernoon
1,083 reads

Improve Smart Contract Security by Formal Proofs

by
bySECBIT@SECBIT

July 15th, 2018
Read on Terminal ReaderPrint this storyRead this story w/o Javascript
Read on Terminal ReaderPrint this storyRead this story w/o Javascript
featured image - Improve Smart Contract Security by Formal Proofs
SECBIT
bySECBIT@SECBIT
    bySECBIT@SECBIT

SECBIT
    bySECBIT@SECBIT

Up Next →

A Comprehensive Solution to Bugs in Fomo3D-like Games

About Author

SECBIT HackerNoon profile picture
SECBIT@SECBIT

Read my storiesAbout @SECBIT

Comments

avatar

TOPICS

web3#ethereum#smart-contracts#security#smart-contract-security#formal-proof

THIS ARTICLE WAS FEATURED IN

Arweave
viewblock
ViewBlock
TerminalTerminalLiteLite
Bitcoininsider
Anonymousite

Related Stories

Story image

Untitled Story

Author

HackerNoon Writer

A Comprehensive Solution to Bugs in Fomo3D-like Games
#ETHEREUM

A Comprehensive Solution to Bugs in Fomo3D-like Games

SECBIT

SECBIT

Oct 09, 2018

(1/100) Crypto Countdown: Golem
#BLOCKCHAIN

(1/100) Crypto Countdown: Golem

Mark Milton

Mark Milton

Aug 23, 2018

05/03/2018: Biggest Stories in the Cryptosphere
#RIPPLE

05/03/2018: Biggest Stories in the Cryptosphere

BlockEx

BlockEx

Mar 05, 2018

µRaiden: Micropayments for Ethereum
#ETHEREUM

µRaiden: Micropayments for Ethereum

Author

HackerNoon Writer

Sep 19, 2017

The Noonification: Have U Been Pwned? (1/12/2023)
#NOONIFICATION

The Noonification: Have U Been Pwned? (1/12/2023)

Noonification

Noonification

Jan 12, 2023

/undefined feature image

/undefined feature image
author
byHackerNoon Writer
/a-comprehensive-solution-to-bugs-in-fomo3d-like-games-ab3b054f3cc5 feature image

A Comprehensive Solution to Bugs in Fomo3D-like Games

/a-comprehensive-solution-to-bugs-in-fomo3d-like-games-ab3b054f3cc5 feature image
author
bySECBIT@SECBIT
#ETHEREUM
/1-100-crypto-countdown-golem-5392489d463e feature image

(1/100) Crypto Countdown: Golem

/1-100-crypto-countdown-golem-5392489d463e feature image
author
byMark Milton@markbmilton
#BLOCKCHAIN
/05-03-2018-biggest-stories-in-the-cryptosphere-dafc9aaf0682 feature image

05/03/2018: Biggest Stories in the Cryptosphere

/05-03-2018-biggest-stories-in-the-cryptosphere-dafc9aaf0682 feature image
author
byBlockEx@BlockEx
#RIPPLE
/%C2%B5raiden-micropayments-for-ethereum-f0756cd400b3 feature image

µRaiden: Micropayments for Ethereum

/%C2%B5raiden-micropayments-for-ethereum-f0756cd400b3 feature image
author
byHackerNoon Writer
#ETHEREUM
/1-12-2023-noonification feature image

The Noonification: Have U Been Pwned? (1/12/2023)

/1-12-2023-noonification feature image
author
byNoonification@noonification
#NOONIFICATION

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps