Darkweb criminals are using the Blockchain as a user management and payment DB
2020-02-18
Ask HN: Electronic Tool Booth
2020-02-17
Dark Web: Blockchain Is Abused for Account Management and Payment Verification
2020-02-17
Blockstack created fake users to unlock investments
2020-02-14
Ask HN: Can Email Scammers Bypass SPF, DKIM and Dmarc Verification? Maybe
2020-02-11
Formal Verification of Multiple Interacting Smart Contracts with VeriSolid [pdf]
2020-02-11
Show HN: I just launched my first video course (React/Next.js)
2020-02-09
K vs. Coq as Language Verification Frameworks (2019)
2020-02-05
Ask HN: Why is the current user verification process so bad?
2020-02-04
CheckMate: Verifying processors through automatic exploit synthesis [pdf]
2020-02-04