BLUE
Login
Profile banner
ND
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
Der Nerd aus dem Norden. Jeden Montag neu #comics #comic #noerdman #truscova www.rolfdrechsler.de
13 followers1 following221 posts
NDnoerdman.bsky.social

ERC20 Tokens: Don't Gamble with Security, Use Invariants to Ensure Safe and Reliable Tokens www.truscova.com/blog_article...#truscova#security#smartcontract#SmartContracts#ERC20#fuzzing#verification#FormalVerification#Formal

0
Profile banner
ND
noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova
@noerdman.bsky.social
Der Nerd aus dem Norden. Jeden Montag neu #comics #comic #noerdman #truscova www.rolfdrechsler.de
13 followers1 following221 posts
HomePopularExplore