abiro | Dark Hacker News

1.	Formal Verification of Cryptographic Protocol Implementations in Rust(dl.acm.org) 2 points by abiro 31 days ago \| 0 comments
2.	Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers(eprint.iacr.org) 3 points by abiro 195 days ago \| 0 comments
3.	AMA with a WoW botter / gold seller(old.reddit.com) 2 points by abiro 3 years ago \| 0 comments
4.	Why the golden ratio is mostly non-sense by a Fields Medal winner [video](youtube.com) 4 points by abiro 3 years ago \| 0 comments
5.	Free42 – An HP-42S Calculator Simulator(thomasokken.com) 80 points by abiro 3 years ago \| 35 comments
6.	Exploring Ethereum Token Transfers with TLA+ for Wallet Security(sealvault.org) 1 points by abiro 3 years ago \| 0 comments
7.	How do you reason about a probabilistic distributed system? (2020)(ahelwer.ca) 3 points by abiro 3 years ago \| 0 comments
8.	Construction of the St. Lawrence Seaway (Walter Cronkite, 1958)(youtube.com) 2 points by abiro 3 years ago \| 0 comments
9.	Our Web3 Vision: Ubiquitous Decentralized Databases(sealvault.org) 1 points by abiro 3 years ago \| 0 comments