Robert Chen (@notdeghost) 's Twitter Profile
Robert Chen

@notdeghost

founder @osec_io | web/pwn with @redpwnctf + @dicegangctf | prev @dfsec_com

ID: 1038484278810570752

linkhttps://robertchen.cc/ calendar_today08-09-2018 17:48:40

363 Tweet

6,6K Takipçi

581 Takip Edilen

Robert Chen (@notdeghost) 's Twitter Profile Photo
Robert Chen
@notdeghost

3 years ago

How do we make smart contracts structurally safer? An exploration into some of Move's key features: Type safety and formal verification. osec.io/blog/tutorials…