abiro

541 karmajoined December 8, 2013On HN

Recent submissions

Liveness Proofs in Veil, Part I: The First Step proofsandintuitions.net
4abiro5ddiscuss
Formal Verification of Cryptographic Protocol Implementations in Rust dl.acm.org
2abiro1modiscuss
Zero Knowledge Encryption: Analysis of Three Cloud-based Password Managers eprint.iacr.org
3abiro6modiscuss
AMA with a WoW botter / gold seller old.reddit.com
2abiro3ydiscuss
Why the golden ratio is mostly non-sense by a Fields Medal winner [video]youtube.com
4abiro3ydiscuss
Free42 – An HP-42S Calculator Simulator thomasokken.com
80abiro3y35 comments
Exploring Ethereum Token Transfers with TLA+ for Wallet Security sealvault.org
1abiro3ydiscuss
How do you reason about a probabilistic distributed system? (2020)ahelwer.ca
3abiro3ydiscuss
Construction of the St. Lawrence Seaway (Walter Cronkite, 1958)youtube.com
2abiro3ydiscuss
Our Web3 Vision: Ubiquitous Decentralized Databases sealvault.org
1abiro3ydiscuss
"Only amateurs attack machines; professionals target people." (2000)schneier.com
1abiro4ydiscuss

All submissions and comments on Hacker News.