SECBIT – Medium

SECBIT

Published in

HackerNoon.com

‘Move’ Programming Language: The Highlight of Libra

Would Facebook bring dawn to smart contracts?

Jun 20, 2019

‘Move’ Programming Language: The Highlight of Libra

Jun 20, 2019

Published in

HackerNoon.com

A Comprehensive Solution to Bugs in Fomo3D-like Games

Abstract: The failure of Fomo3D and its followers is highly related to bugs in their smart contract design. Here we offer a detailed…

Oct 10, 2018

A Comprehensive Solution to Bugs in Fomo3D-like Games

Oct 10, 2018

Published in

Coinmonks

How the winner got Fomo3D prize — A Detailed Explanation

The first round of Fomo3D has ended and the winner’s address is 0xa169, with a prize of 10,469.66 ethers.

Aug 23, 2018

How the winner got Fomo3D prize — A Detailed Explanation

Aug 23, 2018

Published in

HackerNoon.com

Improve Smart Contract Security by Formal Proofs

Vulnerabilities in smart contracts are threatening blockchain projects, developers and investors for a long time. A growing number of…

Jul 16, 2018

Improve Smart Contract Security by Formal Proofs

Jul 16, 2018

Published in

Coinmonks

Lacking Insights in ERC223 & ERC827 Implementation

an Analysis of ATN Token's CUSTOM_CALL Bug

Jul 13, 2018

Lacking Insights in ERC223 & ERC827 Implementation

Jul 13, 2018

SECBIT

SECBIT

Research on smart contract security, smart contract formal verification, crypto-protocols, compilation, contract analysis, game theory and crypto-economics.

Following

Help

Status

About

Careers

Press

Blog

Privacy

Rules

Terms

Text to speech