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