Hacker News new | ask | show | jobs
Exploring Ethereum Token Transfers with TLA+ for Wallet Security (sealvault.org)
1 points by abiro 1156 days ago